toutes les options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Paquet source : mona (1.4-13-1)

Liens pour mona

Ressources Debian :

Responsable :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
mona
a theorem prover based on automata

Autres paquets associés à mona

  • build-depends
  • build-depends-indep

Download mona

FichierTaille (en ko)Somme MD5
mona_1.4-13-1.dsc 1,0 ko 52c5e2815c710eec5412dd512ed81bc3
mona_1.4-13.orig.tar.gz 603,9 ko 60f5ea4cc0c470dd0e72731836536f03
mona_1.4-13-1.diff.gz 5,6 ko 6f298bce660e7d11db9228876a1dd8a0