[ubuntu/lunar-proposed] coqeal 1.1.1-3build1 (Accepted)
Gianfranco Costamagna
locutusofborg at debian.org
Thu Feb 16 09:57:24 UTC 2023
coqeal (1.1.1-3build1) lunar; urgency=medium
* Rebuild against new OCAML ABI.
Date: Thu, 16 Feb 2023 10:56:37 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coqeal/1.1.1-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 10:56:37 +0100
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-3build1
Distribution: lunar
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
coqeal (1.1.1-3build1) lunar; urgency=medium
.
* Rebuild against new OCAML ABI.
Checksums-Sha1:
633ddf53c5fb1dc9a6614e1a8c50c1ea6f4be617 2157 coqeal_1.1.1-3build1.dsc
584f77cfbebb377f339dfb37c5151dffc8ac40a6 2232 coqeal_1.1.1-3build1.debian.tar.xz
d05be23a2bfb6b2637690ffc8b61ea221a0ead20 7132 coqeal_1.1.1-3build1_source.buildinfo
Checksums-Sha256:
798499b8f9f1cf4129f295d981b3fb5ab48d580c10b403a2e15f4d681ec17068 2157 coqeal_1.1.1-3build1.dsc
c93f79a0f2a3b5f9d4b88d1bf8f642b4ac541a62bf4817887087cff533c7d8b3 2232 coqeal_1.1.1-3build1.debian.tar.xz
35e292ecd1d150ded241b32d8189d78f14027970fa05e98021bace7afa31e363 7132 coqeal_1.1.1-3build1_source.buildinfo
Files:
43b4677d263ad4d5b587921950a89b7b 2157 ocaml optional coqeal_1.1.1-3build1.dsc
ec3b1e51a227c8c17c16087cd518b65d 2232 ocaml optional coqeal_1.1.1-3build1.debian.tar.xz
1dd80980bc32e632434b193e4ce26fcf 7132 ocaml optional coqeal_1.1.1-3build1_source.buildinfo
More information about the lunar-changes
mailing list