Accepted alt-ergo 2.0.0-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 13 Feb 2019 22:40:56 +0100
Source: alt-ergo
Architecture: source
Version: 2.0.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
alt-ergo (2.0.0-2) unstable; urgency=medium
.
* Install plugins only on architectures with dynamic linking
Checksums-Sha1:
50ecece9a06f8152901d61a4f0187e2939e770f8 2227 alt-ergo_2.0.0-2.dsc
f4e3ca8ef2685798108c3ff360e87d949fd6b086 6508 alt-ergo_2.0.0-2.debian.tar.xz
3fead74fd7164555f8444d7928ba6c369e57dfc3 12415 alt-ergo_2.0.0-2_source.buildinfo
Checksums-Sha256:
807adea4f9658e62946b1d1c00961d83b00fad7643b7aceb2afd2d791b7a6929 2227 alt-ergo_2.0.0-2.dsc
b81e3fa5c0ede2ac411c695ca0eab87f13715e52006eecb85fd60c8d2498f787 6508 alt-ergo_2.0.0-2.debian.tar.xz
c7db8955e53a01a3b7f2151bc762fc246e5ccdefe4f15459885b0662fbb4347d 12415 alt-ergo_2.0.0-2_source.buildinfo
Files:
0f455cfe8604444d2cedca1d9f5c90f4 2227 math optional alt-ergo_2.0.0-2.dsc
230e93ca1ea36e5576317604f6d08943 6508 math optional alt-ergo_2.0.0-2.debian.tar.xz
8d2b0b0f9e8b4cf51a22228da2ad5492 12415 math optional alt-ergo_2.0.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlxkkH4ACgkQdFxHZtTK
zf+oSBAAncMJH70nVap/1/NAe2MR0fRjXSkHvjRC1bPz0pqPnbTPXDXT/hLYZloZ
u44tG/I3yg2FwCibUzuxh1d4Tcoh5d8BLeXW9eRJCtHtQGh6vefoLO1Bg1bvjn1D
tqFKEDEXpZz1m27aR8ukHhKwZPjFPavdRJKS+Xd5cAHTuacBhFIHWZZRp/6jiq8H
7jygiaX32aCo3UyjbbVZRi++F/0vhOfZmiOO3RgcPedmlSQTcXOnXeDJ2HQt1Zs2
Q1RMJAogakckk7+6IgxtQ6oaHqGOgUhwJwgOKMdN80HwZrdE7iafhBMmrr/HW160
OnBBN6M2m+AMutC0KNWAEGDZIbu2JACMK5HABTKThwQ+0GvyY62FhLBlalX+p3kx
YOm70UFMeacDAdhNYI+ModeH1rs3we3xVIYy5maiPpq4T7y/xWOtHyFqXgmbcWLM
BQEBTxQ7MuMopWuf72ZyrziDSixkmUqvJECGLH9EduYCL9ME5b3n4hVHc6Szfu80
SuM7hffMeV3a05lKNTk7d/F34IesppKEq6X7jmcDz5yVFm8C6DFl1ye4VGVLqlP1
SyDjYCmsXplNE2J6M7TQ50MTwrpDhs/4o4w/hjO+wp9354hMhjCflYu4N0Buwj8h
n1tna9g9zX1IXwwn3u1wBdaYlfoyGE5rwprVWZS6ligsvHIwfHc=
=WpKd
-----END PGP SIGNATURE-----