Back to ssreflect PTS page

Accepted ssreflect 1.5~rc1-3 (source amd64 all)



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

Format: 1.8
Date: Mon, 20 Jan 2014 08:53:40 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.5~rc1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description: 
 libssreflect-coq - small scale reflection library for Coq (theories)
 libssreflect-ocaml - small scale reflection extension for Coq (plugin)
 libssreflect-ocaml-dev - small scale reflection extension for Coq (devt files)
Changes: 
 ssreflect (1.5~rc1-3) unstable; urgency=medium
 .
   * Recompile with coq 8.4pl3
   * Bump Standards-Version to 3.9.5 (no changes)
   * Update debian/watch
Checksums-Sha1: 
 9299a26f239875cd8e9902f27b0d761355110458 2240 ssreflect_1.5~rc1-3.dsc
 e718fcf18c1e993f06d1d18e51d06d3aa729cd8f 11448 ssreflect_1.5~rc1-3.debian.tar.xz
 9600f8d0ce9e600f3390d37cf689e0f377971e34 453136 libssreflect-ocaml_1.5~rc1-3_amd64.deb
 1d2305175cec2675d4d5e02e7c172d0279b86547 62394 libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb
 d6e108fced1ad1a6cbf00fc6724cf2b9219d013c 1190406 libssreflect-coq_1.5~rc1-3_all.deb
Checksums-Sha256: 
 5ff8912de41befcd1ded43944ba0cdc6fc00e948c61531348b69d26b576d4db1 2240 ssreflect_1.5~rc1-3.dsc
 fd273dbd60ed2a961cde3ad753ac542675a832855f1b3cdc00342377e8f0da37 11448 ssreflect_1.5~rc1-3.debian.tar.xz
 9e34e427a8f3e1d87e2cb1fd4c654d2666c9634d7bbf7cfa7c88fb975f4f584c 453136 libssreflect-ocaml_1.5~rc1-3_amd64.deb
 39ffb7d2dc373fbd17434588cf921c3786e183924bbe73d6d510bacf56f1274d 62394 libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb
 3b83d23d43109c85ae2af07034648bead02647146ac3e2c0e9e495b6538ec08d 1190406 libssreflect-coq_1.5~rc1-3_all.deb
Files: 
 e1342cb9138cc8dd3dd3e9d074b8009a 2240 math optional ssreflect_1.5~rc1-3.dsc
 4e950f99418b22c0d07b45264c5faf31 11448 math optional ssreflect_1.5~rc1-3.debian.tar.xz
 9044078c332b713dd321dfeb786ca2b0 453136 ocaml optional libssreflect-ocaml_1.5~rc1-3_amd64.deb
 c738152e0c49b1333994a9f7215c496e 62394 ocaml optional libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb
 1fcc10c77aaaa88525ff2ea996164a1c 1190406 math optional libssreflect-coq_1.5~rc1-3_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJS3NjsAAoJEHhT2k1JiBrThiYP/1hQJOjdRq8JTV6PMMOQ3hTq
YKcZNDezbeD6W5aVvS0SKQZPyz1EQLFL0g8dv18yb5imsxA+9lOjUmC92NJ/VD6I
ttLETXFoEv4Hr0vIOZnoTeoerHfrUZoRnmROP/ub3Wpn2ryFz7Cm0MmelaIkV7Z8
Dd2PZTZEYuOX89kTW/zmN6g9CJy+goGQ+vuD39WQ0pVylT6aNoqqtMczOfqUkpGr
bBMPFeBbu4zIp6f57GgBJNuyznApjhtbp2P4Ylw6j5jCTOuGO9RhZDPH27KSccO2
OTjeLm8g5LR/aKbRwpnfR9DtXWdMNVzP/PXy7cYgYwCoiZo8Qtq2cCnZIDHJ/6zr
X0oRvAzbr3aGsLz6YimDnIKpPS+qOzzYZiJItOdvOGOnB0zDUUNm1tyfGXPK5rrv
jqLfP7R07wop0xKCrwsxT/R0mzB2P0yY4IxqPhOP9i9vw2Rc8gTraREkD1kh4o3u
L3Gjv6b2y//Kkd8NEuo5VMGS5DPHK4uRbm1YjhiXixAsTuiL5A5y8U5OB5co7F5S
a76vgIFxaApMWREq01Rq+t/zOF3TPX53xrDUCWiLbucqEkzBBQlIIltAUJk1k4ys
dV9e8yljNKA4QkWrEsKFNShaa2FFEoSmVDLfQBF18a7zD/3duX2auZADvJIaFEx3
DPX7KcPrHk2OlDwT3ps9
=fhxH
-----END PGP SIGNATURE-----