coq-dpdgraph 1.0+8.15-2 source package in Ubuntu
Changelog
coq-dpdgraph (1.0+8.15-2) unstable; urgency=medium * Simplify autopkgtest. -- Julien Puydt <email address hidden> Sat, 16 Jul 2022 12:15:52 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq-dpdgraph_1.0+8.15-2.dsc | 2.3 KiB | 44bc86c14fe70b171b40e1dde269224bdddf69c52d1d0bbe49f018c7b10c59b8 |
| coq-dpdgraph_1.0+8.15.orig.tar.gz | 62.7 KiB | 062f681ac9adb92b9c47db37d96b2136879ecee1794cafb70b8047a1775c49d8 |
| coq-dpdgraph_1.0+8.15-2.debian.tar.xz | 2.8 KiB | a7e3a2a35b90c6f86fb239fdc41c4f41f6d173c2efa6529211768bd606ffadbe |
Available diffs
- diff from 1.0+8.15-1 to 1.0+8.15-2 (463 bytes)
No changes file available.
Binary packages built by this source
- coq-dpdgraph-tools: No summary available for coq-dpdgraph-tools in ubuntu kinetic.
No description available for coq-dpdgraph-tools in ubuntu kinetic.
- libcoq-dpdgraph: No summary available for libcoq-dpdgraph in ubuntu kinetic.
No description available for libcoq-dpdgraph in ubuntu kinetic.
- libcoq-dpdgraph-ocaml: No summary available for libcoq-dpdgraph-ocaml in ubuntu lunar.
No description available for libcoq-
dpdgraph- ocaml in ubuntu lunar.
- libcoq-dpdgraph-ocaml-dbgsym: No summary available for libcoq-dpdgraph-ocaml-dbgsym in ubuntu kinetic.
No description available for libcoq-
dpdgraph- ocaml-dbgsym in ubuntu kinetic.
- libcoq-dpdgraph-ocaml-dev: No summary available for libcoq-dpdgraph-ocaml-dev in ubuntu kinetic.
No description available for libcoq-
dpdgraph- ocaml-dev in ubuntu kinetic.
