Accepted ssreflect 1.9.0+dfsg-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 20 Aug 2019 09:47:51 +0200
Source: ssreflect
Architecture: source
Version: 1.9.0+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
ssreflect (1.9.0+dfsg-1) unstable; urgency=medium
.
* New upstream release.
Repack upstream (remove docs/htmldoc/js/ and docs/javascripts/).
* Build-depends: minimal coq version 8.7, according to opam file.
* Standards-Version 4.4.0 (no change)
* debian/libssreflect-coq.docs: ChangeLog => CHANGELOG.md
Checksums-Sha1:
4b11089bb4fb83f71ebfcd8ee8d72333c8e3910d 2114 ssreflect_1.9.0+dfsg-1.dsc
4da41b3a5382fa2b35bce6bdd03ac2371d3b7f97 4056166 ssreflect_1.9.0+dfsg.orig.tar.gz
f2dcf2e377ba96740bb6c2b260ddefbd54190a1d 12324 ssreflect_1.9.0+dfsg-1.debian.tar.xz
f6f5c1f4d52c0c9c8f329596080b7c21f55d17f2 6175 ssreflect_1.9.0+dfsg-1_source.buildinfo
Checksums-Sha256:
df92a638c7d157fe9b9644284a645169788fd88cab6609eb8c87a2b2d15fb30c 2114 ssreflect_1.9.0+dfsg-1.dsc
fdd3d44d6f66b1edf89ea94f471b22894ad16501570664b0b0197686d41e1d6e 4056166 ssreflect_1.9.0+dfsg.orig.tar.gz
0456fafa158272e82f2a46d651e07fd4779a93a67fa62001534797ab905bcb4a 12324 ssreflect_1.9.0+dfsg-1.debian.tar.xz
47a0f271e71b014392ef63d138fe0e960cb4558ae2a54973048003902b39fbf5 6175 ssreflect_1.9.0+dfsg-1_source.buildinfo
Files:
3c928d9ec65d9ee0252a45492762e38b 2114 math optional ssreflect_1.9.0+dfsg-1.dsc
49ece319f5e75910957867bcd7bc4ee0 4056166 math optional ssreflect_1.9.0+dfsg.orig.tar.gz
f100afe2389b147c9a6cb657a141606d 12324 math optional ssreflect_1.9.0+dfsg-1.debian.tar.xz
e303ed4535299e053006d75b2f97dedc 6175 math optional ssreflect_1.9.0+dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl1c9GQACgkQdFxHZtTK
zf9GIw//Q7zPbOalBJrRXqrukyjm5vnvML0zQIussRz9gOUsaWMhyfZy4ErWOhkw
gtTFzYIymB4Yv48slTmG4kPBTPvGmLmome0dZ9078N4gnejjbUTJ9uHU8FuokH52
W/VqRIDzduvAsDauR+A8Kppj8N2ldHeDN17ZPcp2UnGPmdyWb+K0MQWHABBjZe4P
5FaDD0tSjUZ/mSK1Gw0VMiFZNNMCCMYwpUSUz4M8hNbvKaoh6AXXXI6RWB5sMbLy
AfzLhkhN3dzjrSHMSSf42p6/mdNoZIKEPqbynxtD7l2Gh7O14jtOueLF6OOR7tF5
8gwrTw8mQJLpsLzfgAfR8AF+hJ3ZSBlaNQ6/myUTeMu22wEpzQWSNJ3zK8ZrFEL5
Nfr6s8LEB1AfXlmQAe1M0BIlwXxiG0OrNWww95gmCcFz1tXXpO4NpRXDtWw+Yfqx
g31gtcZzy0kTSOKx0zu2DwVYC3NozESU+wCGUXcpVRlGjD22BID0SbkjPVPDSD1b
ghwd022GLZtPeEdTq9Jf3ZCuxGO+qJe6uPjlRlUNzL5qganr/gqh1rFgT9Sr9E5B
LPcBHds6ozlQHEqvBElTZ57wSyN2onxuafC2z2D5bDZ+tXFEqdNoaWgXILEtbgKx
oaiMxHE36qQy5nTKFK2T7+xHiZYspDn9UQ5OH5Z2db7n/vqxjGY=
=g4gl
-----END PGP SIGNATURE-----