[ubuntu/plucky-proposed] coq-mtac2 1.4+8.20-1build1 (Accepted)
Matthias Klose
doko at ubuntu.com
Sun Nov 24 06:38:14 UTC 2024
coq-mtac2 (1.4+8.20-1build1) plucky; urgency=medium
* No-change rebuild for OCaml ABI changes.
Date: Sun, 24 Nov 2024 07:38:03 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-mtac2/1.4+8.20-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Nov 2024 07:38:03 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.20-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
coq-mtac2 (1.4+8.20-1build1) plucky; urgency=medium
.
* No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
164a7deb51aab8fcd57727a8dbd06e911b48f910 2099 coq-mtac2_1.4+8.20-1build1.dsc
591251f1056ae6fddd270d99f117055ff5473f3e 2988 coq-mtac2_1.4+8.20-1build1.debian.tar.xz
7c6b6f9938dd422480e2020076487620fcb9b000 3829 coq-mtac2_1.4+8.20-1build1_source.buildinfo
Checksums-Sha256:
2a966589f741775660f0163ad0558ad1951ce965a47a583c952098653daf8e3a 2099 coq-mtac2_1.4+8.20-1build1.dsc
dc23cd91103fb959d7c84d788421bee464fc8ce116dda2aa07f01afca70ae1be 2988 coq-mtac2_1.4+8.20-1build1.debian.tar.xz
4dbab7b08ddc20918fe16419bfd629c1f0dbe5c9d898fb69466977157f94a753 3829 coq-mtac2_1.4+8.20-1build1_source.buildinfo
Files:
2112f5782f727253bcd4c752b1c29b33 2099 ocaml optional coq-mtac2_1.4+8.20-1build1.dsc
88e71a3161d2b7a8a52e777a308c4364 2988 ocaml optional coq-mtac2_1.4+8.20-1build1.debian.tar.xz
25c78549c6c5ae02e0110dfbea6ba877 3829 ocaml optional coq-mtac2_1.4+8.20-1build1_source.buildinfo
More information about the plucky-changes
mailing list