-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20231231+ds-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-menhirlib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-menhirlib.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-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 fd21c6627e4a903759881b29da00ed32ea5d27e5 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 ebdc89ea92d44ecb78dc6f61e1634977912a212c 2052 coq-menhirlib_20231231+ds-1build1.debian.tar.xz
Checksums-Sha256:
 261077a28a9c2e5160ccf5b48e892f98c42b273022506d58c9f9f3dab181ea28 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 1172a532f411bee226ecbcd774fcd89535397b010895217870a5baa996a3bf31 2052 coq-menhirlib_20231231+ds-1build1.debian.tar.xz
Files:
 3bbfcbb365fc19dbf12107723ff7ca17 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 b7bca79a1d5b3ec2afe58b2504daa3b2 2052 coq-menhirlib_20231231+ds-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cFwaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2jeg/+KXAPdpeZMVoREvTxvQDk
0pJ0KX0LYnFVFDIvemi4Fmqn8wfJhdwCkwDJxB33q4dn5VqKPkQ8id9Un2Jdmq9W
7IF/dkrlsj0SeZdYEUniuf4MkR0UPP2IhUq5dqLGnRueOkgJmQtMyFyfPRrXxlaB
4XEyl+NDeCWfzI4skQSaA+xNzhikdg1/f3bHOg62eCcduNK8SOEG+oWtgR1HlcuK
ua0C1X/gxjd+tcnSuryuxQ42POW+aJjnDeHVyrZnrq4RFs+vXb78x7xy0+oRej1+
il7C9N30N6TaPivI7CkscckSguj0VSduFzNV/fHPsRE09AqqGoHxJNzENdgA+3BX
0CgeziibmGWdee2Qg2wrNuNPhRPqZtuGqQN6ju0GsTqBjT6ELRM+hAWMREVHIJ74
IXaCaVN1erw8Z5n6HYejX0lDV6CGIYZhJpgsqrujVE6pvRYvykOpy6MmeBjsk+sm
ULEhHvwqLEWXIc72VpSe6lvi9Kvyp0kpd68B7ykerHfDej6knZ8UgIjTFm5MlXGD
nWPEZfo8tzKtbONU0tT1PMzHCiataGcUXezpAWJxDTdgz0VQrMlDfdumTqNaDK25
thFwHOUIEIIuFwVZki+DtyZ8jJgp+jH1nuVX0xbYZlCn0XlOsAig5CtM7YSrQR1h
6eYSV7JckxmdV4we9XhWnjg=
=PFpC
-----END PGP SIGNATURE-----