toutes les options
bookworm  ] [  trixie  ] [  sid  ]

Paquet source : coq-interval (4.9.0-1)

Liens pour coq-interval

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
libcoq-interval
interval arithmetic for Coq

Autres paquets associés à coq-interval

  • build-depends
  • build-depends-indep

Download coq-interval

FichierTaille (en ko)Somme MD5
coq-interval_4.9.0-1.dsc 2,1 ko 646c528fc9d3f73d6d34858df4527656
coq-interval_4.9.0.orig.tar.bz2 275,4 ko 5a6af473def63c486d12e04a8a556330
coq-interval_4.9.0-1.debian.tar.xz 9,0 ko aa965536b6965bd56a8f4da14d387e23
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-interval.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/ocaml-team/coq-interval