-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 03 Aug 2024 14:35:30 +0200 Source: mathcomp-algebra-tactics Architecture: source Version: 1.2.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: mathcomp-algebra-tactics (1.2.3-4) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 793c74a910d135f23c4f024d3e4999e4b917f5d5 2066 mathcomp-algebra-tactics_1.2.3-4.dsc 1a5406a2a9c1ada765476db8b1de46033432721d 8984 mathcomp-algebra-tactics_1.2.3-4.debian.tar.xz Checksums-Sha256: f933afc78d575bbd9fca4a8e0643773757c04b123d86f5c381fa2bdef94b17a6 2066 mathcomp-algebra-tactics_1.2.3-4.dsc 7ed3a5cf91afef2d42e0220d684772d39d76e3e123348305ee9955963cf7399c 8984 mathcomp-algebra-tactics_1.2.3-4.debian.tar.xz Files: 04fba301e9d32fc768cef826cfdb163c 2066 ocaml optional mathcomp-algebra-tactics_1.2.3-4.dsc 3cb60cda892594e83c8cc75938f9b951 8984 ocaml optional mathcomp-algebra-tactics_1.2.3-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauJE8SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBueAIAKBhQ/GkGvk5wLEpolwPUR7MPVC66/q2 lVrIlYLeMAV+IGYcdLBlOrmDJvkD7ock7L85Q8YWS4hwpj1kexzsCXsP+qmkzx+q l5OYcRjccmSVqjt7Drs2Mtcalk+oHczFAfBfPLqRJqtS1WKIBtMrt5K5pnFSf++3 TYkClE5m7m5UexbKUYE3/QxmXtIJ58OmIXg6psbx+rzu4/M4jHWbfTO8wjQyPfhv o7APIa8Q8fBNf69GtZEoMOVva/uIcT5emdbt9Yh/AvvK+jnoJdrRWl/AG8UEGZm1 VmcOjaqU0ER1hC8L+3ojXvf3Iul/gVgmq2o9PR8+OMaDmfMABmB3528= =U98t -----END PGP SIGNATURE-----
