eprover 2.6+ds-3 source package in Ubuntu
Changelog
eprover (2.6+ds-3) unstable; urgency=medium * Complete d/copyright again. -- Julien Puydt <email address hidden> Wed, 13 Jul 2022 23:52:46 +0200
Upload details
- Uploaded by:
- Debian Math Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Math Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Noble | release | universe | misc | |
| Mantic | release | universe | misc | |
| Lunar | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| eprover_2.6+ds-3.dsc | 1.9 KiB | c6f48c665f2390894aae0c28465094354100456cc82a9700f1efcf9bb7631c26 |
| eprover_2.6+ds.orig.tar.xz | 1.0 MiB | 469c6485df0a8ac664d21c665f32b820ee41f77b2e3c71d7186de03d278df245 |
| eprover_2.6+ds-3.debian.tar.xz | 10.0 KiB | 3bb6442dfe021e3a47ce1baa2864d27ca2b366d7a2580a773df1e08134900e52 |
Available diffs
- diff from 2.6+ds-2 to 2.6+ds-3 (540 bytes)
No changes file available.
Binary packages built by this source
- eprover: No summary available for eprover in ubuntu kinetic.
No description available for eprover in ubuntu kinetic.
- eprover-dbgsym: No summary available for eprover-dbgsym in ubuntu kinetic.
No description available for eprover-dbgsym in ubuntu kinetic.
