Ubuntu
eprover package

eprover 2.6+ds-2 source package in Ubuntu

Changelog

eprover (2.6+ds-2) unstable; urgency=medium

  * Complete d/copyright.

 -- Julien Puydt <email address hidden>  Sun, 10 Jul 2022 23:07:35 +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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
eprover_2.6+ds-2.dsc 1.9 KiB 7ff713532044a5240f4a2e9c03be5f18c7a2f3280a2f06e080f0f38d818c6942
eprover_2.6+ds.orig.tar.xz 1.0 MiB 469c6485df0a8ac664d21c665f32b820ee41f77b2e3c71d7186de03d278df245
eprover_2.6+ds-2.debian.tar.xz 9.9 KiB 8e399f73cf53269bade421f7f25de0886ccc83e9c4735c01a741548eff73c205

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.