[ubuntu/oracular-proposed] coq-reglang 1.2.1-4build3 (Accepted)

Matthias Klose doko at ubuntu.com
Sun Sep 8 02:46:17 UTC 2024


coq-reglang (1.2.1-4build3) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sun, 08 Sep 2024 04:44:55 +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-4build3
-------------- next part --------------
Format: 1.8
Date: Sun, 08 Sep 2024 04:44:55 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build3
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-4build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 25ba3857ea6e1f1b8e982409f9941d417657a630 2116 coq-reglang_1.2.1-4build3.dsc
 0394dc7edd483ec2f47c8de900b36789f1510667 8764 coq-reglang_1.2.1-4build3.debian.tar.xz
 d21bcdc4abdd844877b5e17b18dcacd1ff807b08 5700 coq-reglang_1.2.1-4build3_source.buildinfo
Checksums-Sha256:
 128413e95175e471fc0416f87b35f60c5d2dafa7f573fbd517a5a78c854f8665 2116 coq-reglang_1.2.1-4build3.dsc
 7d196f5d6612af52037f5705fc7f24d597880f0cf6c3e0c23a0d9cb6cbaa858a 8764 coq-reglang_1.2.1-4build3.debian.tar.xz
 cc4b5d0b432888cc02cc71317b6cfa87b8a719ac1511b686ea49c2252c816c9c 5700 coq-reglang_1.2.1-4build3_source.buildinfo
Files:
 ce96f6ff143b34cd3a009855026bf223 2116 ocaml optional coq-reglang_1.2.1-4build3.dsc
 46d9e5be78682f25ec256d95f44c7768 8764 ocaml optional coq-reglang_1.2.1-4build3.debian.tar.xz
 252570edf45b23ccd2cc62e8d7f51184 5700 ocaml optional coq-reglang_1.2.1-4build3_source.buildinfo


More information about the oracular-changes mailing list