-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 03 Mar 2015 09:22:28 +0900 Source: cafeobj Binary: cafeobj Architecture: source amd64 Version: 1.5.3-1 Distribution: experimental Urgency: medium Maintainer: Norbert Preining <preining@debian.org> Changed-By: Norbert Preining <preining@debian.org> Description: cafeobj - new generation algebraic specification and programming language Changes: cafeobj (1.5.3-1) experimental; urgency=medium . * new upstream release * unfuzzify patches Checksums-Sha1: 5a37b3ed44dec3155be9b30aae7697a8548547d3 1872 cafeobj_1.5.3-1.dsc 0cbed4a12a7a19afd7c8507b79cc0f134df57516 6295989 cafeobj_1.5.3.orig.tar.gz 711ae38d12eb81fa4aeb4f68c79c829d8a01cb46 4800 cafeobj_1.5.3-1.debian.tar.xz 5d9ab4e8e93b89626fafba276ed29cecc101b547 12980292 cafeobj_1.5.3-1_amd64.deb Checksums-Sha256: 3eaafa42a8b4861f0ef1eda666c421ee9834e400b61b2047fa89fdd0b8038305 1872 cafeobj_1.5.3-1.dsc bb22a55d1484a2368ee81027f6386a64dbee3e497156f379ff2cd45202d2e059 6295989 cafeobj_1.5.3.orig.tar.gz 1e99820e4769cc661e178a9cefaea026bc9e03c3a70d4ecbb274daab85e93ef3 4800 cafeobj_1.5.3-1.debian.tar.xz 6a2326c354ed914629228146eab2891f68c47bda69b308c2ea160965ff9d9ff3 12980292 cafeobj_1.5.3-1_amd64.deb Files: f6b1b7209749ad19dae5ee1386b5f5ea 1872 science optional cafeobj_1.5.3-1.dsc 4e58453064bc25f562e69803ce93c11c 6295989 science optional cafeobj_1.5.3.orig.tar.gz cc9961b1246b14c197c433209eecfeb7 4800 science optional cafeobj_1.5.3-1.debian.tar.xz c2925db54a06fa6c290ca083b39be11b 12980292 science optional cafeobj_1.5.3-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIVAwUBVPUQnWyspEiGDNwTAQhR4xAAplmM/g8pZgjTNIdGqoEyhqqJzhTTAVuE uhK9y/T6vLs67F3P7Tr14vOcoHzdEtBKdkgM6/tPOtmUppbuj+05QiKfRD9ac4Dw B2HjqfZUM1tySCuHQ5JZjTLsiCgagPfqWIgy5LktEu8QPqzjQwzLcirFHuEG4woT g4wm7ujrBjWQEW5n+evWtxwX2eMUo0Fu+XsgjmaI7FEc/9MmPQauCfiFDqX/K+p2 5eem1ZukddTt6BROKS/qBTM1BMEYSeoNzWXazO2Kzs9zZGghQk1GE4MFmtKkKWoM uQCQ/UVRr5yo6mpo28tzUgJq6IFk28NQausUtnIT4SptGwcxLPWaE6KhdPcGuLGL oGCrhya+9UQ5FK5/+1YgNb/eO+0+YrX8ltvnzQcTKPcShek3E9a7vvzXWCdLX0m4 vEUal6VaLFzNlUXHNyIwthB1PgpCBxrVaJ8STczBl9o7pYsniKI6CJ9xVuOkBpiu LqpGx/otartvDKQ+ngsSAF0+5DsGyv/7W98sVb2jej/s9Lgmvz2W1KdO3EZIml5W MkbzCdqvssSlh8ijTwWKfDLmoJpcJYTSFKi83D5qAw/miuNcw+fR6y1NgUIpFjic NEHCOH9hvXWvCHQQg2kZ4nHNLLgztn7gn3qiV9g2jKNO1rIHFmNVe4iio/0SSwxV IxhVi0A05q0= =vqsH -----END PGP SIGNATURE-----