toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Paquet source : mona (1.4-17-2)

Liens pour mona

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
mona
démonstration automatique de théorèmes

Autres paquets associés à mona

  • build-depends
  • build-depends-indep

Download mona

FichierTaille (en ko)Somme MD5
mona_1.4-17-2.dsc 1,9 ko cd503b0ef41fa89c1e33962c7aa16105
mona_1.4-17.orig.tar.gz 683,0 ko e1f7646b8284ca21cd505c4713c55e7e
mona_1.4-17-2.debian.tar.xz 6,2 ko cca9fc9bca298f38818114b6d2d39fd1
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/science-team/mona.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/science-team/mona