-----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-----
