Kaynak Paket: eprover (3.2.0+ds-1)
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.2.0+ds-1.dsc | 1,9 kB | 7b3e4196d51328969877e0ef45481316 |
eprover_3.2.0+ds.orig.tar.xz | 1.010,1 kB | 0f9b6e46c7afeab749c37c8f3bf4b836 |
eprover_3.2.0+ds-1.debian.tar.xz | 4,3 kB | aca7f13d6aa7e5969c6b3021cd49eb3f |
- 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