-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 04 Aug 2024 07:05:43 +0200 Source: coq-simple-io Architecture: source Version: 1.9.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Changes: coq-simple-io (1.9.0-2) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 56300c3c38d2f799315f9d6bf04b434a2891974a 1936 coq-simple-io_1.9.0-2.dsc 701b6e5beda273855f4d20718f341e45fff71485 2644 coq-simple-io_1.9.0-2.debian.tar.xz Checksums-Sha256: e47ce3b20267eb9163bf4bfde3de4655ea28e8734126c05690844faf2207a768 1936 coq-simple-io_1.9.0-2.dsc fe2680394789c1969050cf0e1830a95a06d19e71f753763bf358b38ce98397dc 2644 coq-simple-io_1.9.0-2.debian.tar.xz Files: 1896153c17c338e1c74d11eceac81f30 1936 ocaml optional coq-simple-io_1.9.0-2.dsc e7ec3126f2718f774f8866b55cb60cbf 2644 ocaml optional coq-simple-io_1.9.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavDPMSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBrY4IAJR3Zm95Wuu1nufw4C0vttoUYwV+jjS5 yCCoE/uFDMjPClqv6hQTnuGDqRNdH8HEKCjJGVGYrWwm0jG6qjcjM8NJS6VK/nPS Rua73A0b9kAiU0punMDfAG+KEInwZXxcYF3IjQ1A0GAiTrjGXrSxYbDTZOHT+gxY w8HJ3IGlIVa/X6B2qAhvXPd/YMatKeYrW7ywVtOhDQEhxY1vRfKMi1TJllm1ccoC qw/yTvVeD5z39TJrFatosTimZ+5059O/ihK8S7c9j+DJdm7KBwuEdZTEW/gweqE6 Ao2ptgVw1w7e+eeh4rEeDqHQlV5HoXnbNWPXq3auoNqU9ZFUv9R0qLM= =V+eo -----END PGP SIGNATURE-----
