toutes les options
bookworm  ] [  sid  ]

Paquet source : coq-gappa (1.5.2-4)

Liens pour coq-gappa

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
libcoq-gappa
Coq tactic to use Gappa for floating-point goals

Autres paquets associés à coq-gappa

  • build-depends
  • build-depends-indep

Download coq-gappa

FichierTaille (en ko)Somme MD5
coq-gappa_1.5.2-4.dsc 2,0 ko 9f9f65307599af98875236e27aa96cf1
coq-gappa_1.5.2.orig.tar.bz2 71,8 ko 826d7d56a103fc2c822f26e4db87e493
coq-gappa_1.5.2-4.debian.tar.xz 1,9 ko 22d8be9df660c8d92ea2683d828e8b88
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-gappa.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/ocaml-team/coq-gappa