toutes les options
bookworm  ] [  trixie  ] [  sid  ]

Paquet source : coq-equations (1.3-8.16-2)

Liens pour coq-equations

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
libcoq-equations
Coq library to work with functions defined by equations

Autres paquets associés à coq-equations

  • build-depends
  • build-depends-indep

Download coq-equations

FichierTaille (en ko)Somme MD5
coq-equations_1.3-8.16-2.dsc 2,1 ko 9fabba9035baadeeca8ad65c05bb8325
coq-equations_1.3-8.16.orig.tar.gz 1 071,9 ko 6c5a89dd4eb82608c27dcd53bae7d54a
coq-equations_1.3-8.16-2.debian.tar.xz 2,2 ko d5e440ef3ea4ed801bb1aade04814a97
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-equations.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/ocaml-team/coq-equations