-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: lambda-term Binary: liblambda-term-ocaml-dev, liblambda-term-ocaml Architecture: any Version: 1.10-1 Maintainer: Debian OCaml Maintainers Uploaders: Nicolas Dandrimont , Lifeng Sun , Hilko Bengen , Homepage: http://forge.ocamlcore.org/projects/lambda-term/ Standards-Version: 3.9.6 Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/lambda-term.git Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/lambda-term.git Build-Depends: debhelper (>= 9), dh-ocaml (>= 0.9), liblwt-ocaml-dev (>= 2.3.0~), libzed-ocaml-dev (>= 1.1~), ocaml-findlib, ocaml-nox (>= 3.12.0~) Package-List: liblambda-term-ocaml deb ocaml optional arch=any liblambda-term-ocaml-dev deb ocaml optional arch=any Checksums-Sha1: 8403ed5154badf378c917c8e95a9637fa3f9b31c 161835 lambda-term_1.10.orig.tar.gz 4f056a4be9d405188799632ef8a4db6991211ca9 2828 lambda-term_1.10-1.debian.tar.xz Checksums-Sha256: 152d1712655d7b61b0fe90abe43fcdead00945aa6ab636fef0b587a21bd697cf 161835 lambda-term_1.10.orig.tar.gz 73c491d9f664d699fc9d84eea4f9e60a88751fc88238c51b5b1a191bc849c838 2828 lambda-term_1.10-1.debian.tar.xz Files: ce9cc6503a01f327d414988f97343635 161835 lambda-term_1.10.orig.tar.gz 6eab582fa3cbf771e9bb21c02182366f 2828 lambda-term_1.10-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXHlayAAoJEHW3EGNcITp+fxUQAILVjyFgLnyx2y6CpR2S0Qgk 4DPZ8nIbTzCO3nGUIRdqKaPTii/AHkXP0zaMdFzEAN+gtCe+/FVZEDrpbUzoxIXh sWEqJ6MquVzKSoDVdRsvGYskjj24EJyHoEfFGlAVFGlnb4MboW4Ird6pOgxrWGc/ e6PDPx/Y85CILSRbvDlCF4orIZ2XDktEkXinPB2FZnK3gD/OyWh6UkKWDmp4lQnb XIW4AA2eH6EwJc2eBnniT2cs6pQuWfiOPBJL7bFpHzLWT1eXyFdr7oHcsZqm5R+y YtvDy/AAhYU9n4gjX0SRVJqsY2AGJrcW2z6SkYjJXx6vaALPaXGFL3mnbEyqlMN4 BF3J+9NUn2eS+ONi4osFaLSKkNzRnkW1WWuxUnrX29Ia9kjg/rHXo2Hv6m5nqJSB EgnbcE7IW7LefTvu9Kcg7ii7K8NByTPGwjWqkTppvFgLC642Z6B4rptJNc/3ghi0 RlicF+rrvMiHJb96+IDBpbI1Tel8E69iB8F/Uxi5AePi9EjgY1vaNCXttkdz/dGv L+GZ7WHV1yS0XY9v5zeYJx77DSr07/9R1f+G2jMiHG1++8QJuRMxXWiChj7onpNa fneZa2w9PEhaITafDjQVv2Rz7xbIITfIe+P//fvD6NUKfNhwexGKkOKrIuynkL3/ n8v6ah8j+goAqjevTdO3 =UoMp -----END PGP SIGNATURE-----