Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 04 Aug 2024 08:10:46 +0200 Source: coq-reglang Architecture: source Version: 1.2.1-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Changes: coq-reglang (1.2.1-4) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 2f8fc23d8b4bb9c9dcd3bf4a798cf9a8b52e742d 1888 coq-reglang_1.2.1-4.dsc 760ebdacccb8475c3abe51317324885804c3b249 8632 coq-reglang_1.2.1-4.debian.tar.xz Checksums-Sha256: 55957abab08d2b2a6ca1e75aeccabb9f7e425526db7583253baf45cbc714125e 1888 coq-reglang_1.2.1-4.dsc b53574e1b305bdf83f6ef6fae9c5e443744985c2f8d0a75b0c53d9d980c1d13e 8632 coq-reglang_1.2.1-4.debian.tar.xz Files: e72b67ff91f800d60bf62848423ab1c6 1888 ocaml optional coq-reglang_1.2.1-4.dsc 4b5264f6e78afc17eed96fc5c59fe954 8632 ocaml optional coq-reglang_1.2.1-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavHCgSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBMHYH/iFXdfkho0jTT/x9U1Wq3oyUnwiXDx8k 6wWUkqvGwHSEOnojz3Vle6Am3E8e5gFPo/XkpH6tAcrUpe9TYoN3APmvO4b+2JVs cqa8T0irZexX2fsYa/qtwOuWaFH2EFqu25+uc+XLtRXPuWoA4rl7QDeFGCxOX4zg dY+AhgDhNnY7CjorWDc3fok7Gwam9J5QtaiWO4b8E22biEJfhVQf8svLitWDnB2h xYUhfc0z4SJgKR5SxYgs/psTbohqHk+mVAal8hu/9wdAbWOS0EkU7sbFKCD29bxS nUZjjbxNZr0Z80OC8x5QhpV/FD2lrHQkw45xX2zJJizLfkXSm2fGvJo= =42eZ -----END PGP SIGNATURE-----
Attachment:
pgpbb0bkqm0sb.pgp
Description: PGP signature