-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 04 Aug 2024 08:10:37 +0200 Source: coq-quickchick Architecture: source Version: 2.0.3-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Changes: coq-quickchick (2.0.3-3) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 26e2849bbd6e2fdbf12909f9652d7c52082342f9 2049 coq-quickchick_2.0.3-3.dsc 5b0c52bd306c011724d81b980c6708566e185af4 2856 coq-quickchick_2.0.3-3.debian.tar.xz Checksums-Sha256: 7b84f627f8cb4871197ba9ed5e7965a34e12d991a19139b2b16808002ce7998f 2049 coq-quickchick_2.0.3-3.dsc e9cf23a61453be6ef27752eb87bd9117dae98d8d0672bd1351aaaf424da290cb 2856 coq-quickchick_2.0.3-3.debian.tar.xz Files: f1b9d9cc754e0cd340fe6e0e2e357fef 2049 ocaml optional coq-quickchick_2.0.3-3.dsc 30cc6a528870c49b3bd6fecc1f15b178 2856 ocaml optional coq-quickchick_2.0.3-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavHAQSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB2ugH/RhBMbuXHdZHJxcLDmK6zchNNEG9X57g OgoNOr0xDPR4AClKyAx556G5JiL+jU67zK9o78EGOXwqpTC+iHdEGuCGb+vTdSTE VVsYtkCpXmm2YSPfYx+iv0CZUszFAk8lKSWnePjelOz+NnLHz9AdNUAHlGmDVkQQ wlgEO3RXXY5VUsy4Ve1E61F30NwHbwC4vVCLvVIc4DJBdodd0w+LHlXFjW4LWfAD kLU5CVSAoXhHgatH/xdm0X0CGqgtT/hd7bOsmR836QFai6YkD1+yKes/MpOj2/Ue 2dyIpXkLmGb2nBFB915JEbb6Zdl5fmFcULfck1CxG+rWRe6i/Az8ArA= =4lYV -----END PGP SIGNATURE-----
