Paquet source : eprover (2.6+ds-3)
Liens pour eprover
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Dépôt de source Debian (Git)
- Suivis des correctifs pour Debian
Responsables :
Ressources externes :
- Page d'accueil [eprover.org]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- eprover
- Equational theorem prover
Autres paquets associés à eprover
|
|
Download eprover
| Fichier | Taille (en ko) | Somme MD5 |
|---|---|---|
| eprover_2.6+ds-3.dsc | 1,9 ko | 8dc5fbe404eea8acf1c9afaa8c1ea6b6 |
| eprover_2.6+ds.orig.tar.xz | 1 054,8 ko | a9479a59b6b3ed4f5209c5f3b0d46488 |
| eprover_2.6+ds-3.debian.tar.xz | 10,0 ko | cacd19b43aa4b1d9e13a8284b3cad425 |
- Dépôt Debian des paquets source (VCS: Git)
- https://salsa.debian.org/math-team/eprover.git
- Dépôt Debian des paquets source (interface web)
- https://salsa.debian.org/math-team/eprover