[ubuntu/oracular-proposed] coq-equations 1.3-8.19-2build2 (Accepted)
Matthias Klose
doko at ubuntu.com
Sat Sep 7 07:05:11 UTC 2024
coq-equations (1.3-8.19-2build2) oracular; urgency=medium
* No-change rebuild for OCaml ABIs.
Date: Sat, 07 Sep 2024 09:04:32 +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-equations/1.3-8.19-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 09:04:32 +0200
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.19-2build2
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-equations (1.3-8.19-2build2) oracular; urgency=medium
.
* No-change rebuild for OCaml ABIs.
Checksums-Sha1:
6f27a8f8f59ec0752b250f71932d8200fb31255d 2165 coq-equations_1.3-8.19-2build2.dsc
75e23a0adb0f81c599b43474402baa6452b88715 2852 coq-equations_1.3-8.19-2build2.debian.tar.xz
7d458fbe211f9a49739ce1cca5afb10a9d781dca 5720 coq-equations_1.3-8.19-2build2_source.buildinfo
Checksums-Sha256:
efa3ff62aa83c6e1153aa0f074efcf66d495012bbd40a9ba3bbc474f37eceb62 2165 coq-equations_1.3-8.19-2build2.dsc
f0fbd574eab5c35a2e1e3ca3cfa54bd0fa005625350efd4b69908e489f921ac7 2852 coq-equations_1.3-8.19-2build2.debian.tar.xz
2d695be1cb4186e1a0b17f99fcf149954551b7daf055a588dca25b75143f0af7 5720 coq-equations_1.3-8.19-2build2_source.buildinfo
Files:
a8f8cf7d2d37da930fbc8c2ae996c046 2165 ocaml optional coq-equations_1.3-8.19-2build2.dsc
cec372ccf13864ab50b557daf8c295cd 2852 ocaml optional coq-equations_1.3-8.19-2build2.debian.tar.xz
5c5dbabd9f710470f87ed3d6a674a2f6 5720 ocaml optional coq-equations_1.3-8.19-2build2_source.buildinfo
More information about the oracular-changes
mailing list