Kaynak Paket: eprover (3.1.0+ds-2)
eprover için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Kaynak Deposu (Git)
- Debian Yama Takipçisi
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [eprover.org]
Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
- eprover
- Equational theorem prover
eprover ile İlgili Diğer Paketler
|
|
Download eprover
Dosya | Boyut (kB cinsinden) | MD5 sağlama toplamı |
---|---|---|
eprover_3.1.0+ds-2.dsc | 1,9 kB | 5744874f7065948c448eacd5246bd63c |
eprover_3.1.0+ds.orig.tar.xz | 1.010,0 kB | 0dfbc863a7a39b13ab0979a8fabf84b9 |
eprover_3.1.0+ds-2.debian.tar.xz | 4,3 kB | d39ac55ec65b32f960054fe3a2859554 |
- Debian Paket Kaynak Deposu (VCS: Git)
- https://salsa.debian.org/math-team/eprover.git
- Debian Paket Kaynak Deposu (Gezinilebilir)
- https://salsa.debian.org/math-team/eprover