-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 04 Aug 2024 08:40:29 +0200 Source: coq-serapi Architecture: source Version: 8.19.0+0.19.3-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-serapi (8.19.0+0.19.3-4) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 0cca579c2793ee021d281751f5041b05e4cadc1c 2271 coq-serapi_8.19.0+0.19.3-4.dsc faad1259febc601b63999ec3048e7a104599a9f2 10264 coq-serapi_8.19.0+0.19.3-4.debian.tar.xz Checksums-Sha256: 0286bc58395310611ee41ae8230faab5577bfb5d6b1ec1793bac5856879f8722 2271 coq-serapi_8.19.0+0.19.3-4.dsc facdfdbd14a027bfd53998ce723787a9861acc52fc4186874abf3bfe08afb563 10264 coq-serapi_8.19.0+0.19.3-4.debian.tar.xz Files: 66d93cb0d8889dcdb2332272c3ccb5a4 2271 ocaml optional coq-serapi_8.19.0+0.19.3-4.dsc 8cd3828f6e00d26c377dfbe9858bd97c 10264 ocaml optional coq-serapi_8.19.0+0.19.3-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavIwsSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB2jEH/1YWl3KTQVq9fmL2jihgg3LMs4bkh0d6 fApf5ZalrDGVa7LK91gCHXgKIS/z6vXgb3ziw/Ua/8nL3KcQAVYzBsMKNWBiVSrz JnvBz4b7UIqcGzlTGCUHKonQKSWac8u6COC41YCd34UO8Vc4sYyzqSqKdsqA9ITR 71zWONP6sjtnOOd5LELju8v00LidK50W+lfhrhd4RE4RL829lrEArbGVS8ELhwUB oZXSBZOyMUHHcZl8SGqliZblmEBwJPHT4GqcKHZtZOHO5GS6A3AdAiZDO0TkFDOj f9TEbj9ua6BbpfRRE+x10mFvWAW9Jr9fA3b0kD9Fk9eFqFodJhrjfaM= =vcng -----END PGP SIGNATURE-----
