prover9-manual 0.0.200902a-2.1 source package in Debian
Changelog
prover9-manual (0.0.200902a-2.1) unstable; urgency=medium * Non maintainer upload by the Reproducible Builds team. * No source change upload to rebuild on buildd with .buildinfo files. -- Holger Levsen <email address hidden> Tue, 05 Jan 2021 23:21:05 +0100
Upload details
- Uploaded by:
- Debian QA Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian QA Group
- Architectures:
- all
- Section:
- doc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Bookworm | release | main | doc | |
| Bullseye | release | main | doc | |
| Sid | release | main | doc |
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| prover9-manual_0.0.200902a-2.1.dsc | 1.9 KiB | 3555a9e207b0818b0c17aa45c025cffe1d736064c81e907b9b43a6c33e01f356 |
| prover9-manual_0.0.200902a.orig.tar.gz | 1010.2 KiB | 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5 |
| prover9-manual_0.0.200902a-2.1.debian.tar.xz | 4.6 KiB | f691a8754fe1e6262ab8287df0ec404f9da30a6967019720c9a7b04cf883c4b9 |
Available diffs
- diff from 0.0.200902a-2 to 0.0.200902a-2.1 (376 bytes)
No changes file available.
