-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: paramcoq Binary: libcoq-paramcoq Architecture: any Version: 1.1.3+coq8.20-1 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Uploaders: Julien Puydt <jpuydt@debian.org> Homepage: https://github.com/coq-community/paramcoq/ Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/paramcoq Vcs-Git: https://salsa.debian.org/ocaml-team/paramcoq.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib Package-List: libcoq-paramcoq deb ocaml optional arch=any Checksums-Sha1: 7cb4a466dcac4087e23f0fa729eda1717e987df4 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz 8d629f3108508e3681ddb14ae5afca1367913e2b 3184 paramcoq_1.1.3+coq8.20-1.debian.tar.xz Checksums-Sha256: e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz 1a3e01e25a34ee9a14ec55e779e4fd09ac57973c64bf10697c1d2d472a8497ce 3184 paramcoq_1.1.3+coq8.20-1.debian.tar.xz Files: 917fcdc199ded6847ed0425a92876c27 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz ada72cf74b95c53b7ece4fe41e3a4e66 3184 paramcoq_1.1.3+coq8.20-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sVQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRLxsP/RHgeyt1ZDa8xftsyW2zoymJ0qdnEkrH xK9Ynalc9PAMp4Mx9T1fq5d8lDaH8nIaAOWI1Q1vOLvMrVZcKleth3mLoVFpR3C3 kUqpxWojJBDOkD3fOa6yeN5f5SfEFaGZHWTUEjK++mNboDkvRwZI/IP87SV4Lsfl CoDheZUX5E6ZbRHaPjnuDYpC1i1hfzqQx/WxWkI3z0U/ei4E9uMkFr2h9EmZV29O 4w3hZaCFWRW5JnqtaTmcdcakQwvZUETplleLoz7rksKFf2XTSpxmrUvZT5b2HNXU 8eD4EwHpijUnFNZgpJFUwHA/sbZYf9rYs5U3VRLTNqZufwUDPwZ1Va+HhLyGOiF0 Sv/YJwKMZxmhOJpAHjfwRlCcQ2PFksCHv2/c+wmzjzHQEpuqBSbMTh0vqwyg3lqA kSd+PQCa5U6s7vE4jWJSTaq565nl0Wvj8nfPw8zZSL5AJOJI1B+dX6FQdSYiHb8J 5gmnObVlgpr9O6xlbj+AQHkQIlzl634UHC6rP4crX+G0ROsdNVKtV11Y+AJjZiur oVfl2baS7hBbI9rW25y56XtCQHD6+gwsZY3UK4BgZ5bUyZPpYVDW8NfIjmiEpFg5 M1lLK51gVibvpePB/SJPG0QGORoB606xvAnmG4kLkVmfdeSYhkLD8k8ImdzvUxBd 3lhGbk0hIlNe =0tbX -----END PGP SIGNATURE-----