[ubuntu/oracular-proposed] coq-reglang 1.2.1-4build2 (Accepted)
Matthias Klose
doko at ubuntu.com
Fri Sep 6 22:46:24 UTC 2024
coq-reglang (1.2.1-4build2) oracular; urgency=medium
* No-change rebuild for OCaml ABIs.
Date: Sat, 07 Sep 2024 00:44:41 +0200
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-reglang/1.2.1-4build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:41 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
coq-reglang (1.2.1-4build2) oracular; urgency=medium
.
* No-change rebuild for OCaml ABIs.
Checksums-Sha1:
31053fe62dff4a4fa7bff6f4b6ab5fc765879787 2116 coq-reglang_1.2.1-4build2.dsc
5ab72608399e5271b7fc47740142f58b38535d1c 8760 coq-reglang_1.2.1-4build2.debian.tar.xz
785bc873dc9f03bff3fa8c27fb46ade5946863d5 5700 coq-reglang_1.2.1-4build2_source.buildinfo
Checksums-Sha256:
8e7b8a0eea7a139a18d0c9df9fbbd4a4fa5c786b93c70a8b252701937e851d6b 2116 coq-reglang_1.2.1-4build2.dsc
6d478c4d1c10efc06dffeb40da873ef4cc2e407b38a7842106b141dddbd65abc 8760 coq-reglang_1.2.1-4build2.debian.tar.xz
dcca033a8faa767789f675e2391a2ea1d76b5e5fc875c6cf3ccaa301bb40bf2d 5700 coq-reglang_1.2.1-4build2_source.buildinfo
Files:
d7f171876d5b8410db755bb6d4221a5d 2116 ocaml optional coq-reglang_1.2.1-4build2.dsc
f9e45373680f5e24133afe20abf0d54f 8760 ocaml optional coq-reglang_1.2.1-4build2.debian.tar.xz
c81d817da4d2d334fc1cf7b533ebca79 5700 ocaml optional coq-reglang_1.2.1-4build2_source.buildinfo
More information about the oracular-changes
mailing list