toutes les options
bookworm  ] [  trixie  ] [  sid  ]

Paquet source : coquelicot (3.4.1-1)

Liens pour coquelicot

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
libcoq-coquelicot
Coq library for real analysis

Autres paquets associés à coquelicot

  • build-depends
  • build-depends-indep

Download coquelicot

FichierTaille (en ko)Somme MD5
coquelicot_3.4.1-1.dsc 2,0 ko 94bca8438cc683fbc4fa2ec2f5db70bf
coquelicot_3.4.1.orig.tar.gz 274,9 ko faba5304b5bf17352e6a4d7afdbfe78d
coquelicot_3.4.1-1.debian.tar.xz 2,0 ko 9904f9eb6da6708e82b40ad192260c4e
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/ocaml-team/coquelicot.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/ocaml-team/coquelicot