toutes les options
bookworm  ] [  trixie  ] [  sid  ]

Paquet source : mathcomp-analysis (1.0.0-1)

Liens pour mathcomp-analysis

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
libcoq-mathcomp-analysis
analysis extension for Mathematical Components
libcoq-mathcomp-classical
classical logic extension for Mathematical Components

Autres paquets associés à mathcomp-analysis

  • build-depends
  • build-depends-indep

Download mathcomp-analysis

FichierTaille (en ko)Somme MD5
mathcomp-analysis_1.0.0-1.dsc 2,3 ko 82471f22a9414fb389f4f141b0c1ebac
mathcomp-analysis_1.0.0.orig.tar.gz 1 146,7 ko e5bd3ec2addfcec3aac3245836a7c871
mathcomp-analysis_1.0.0-1.debian.tar.xz 9,0 ko e310da51b68a1e61d6b13208b4499ee8
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/ocaml-team/mathcomp-analysis