-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 09 Oct 2014 09:07:46 +0900 Source: cafeobj Binary: cafeobj Architecture: source amd64 Version: 1.5.2-2 Distribution: unstable 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.2-2) unstable; urgency=medium . * remove build-opts on armhf, something is broken there (FTBFS) Checksums-Sha1: 1eb48771cd43ef3cee0fb2aa3f454a4db5757378 1872 cafeobj_1.5.2-2.dsc 46100c3cd5947a69305884e794718d2c97b3c0fb 4768 cafeobj_1.5.2-2.debian.tar.xz 879a6f083abf0a588b099f248a5ca18535d20e65 12727660 cafeobj_1.5.2-2_amd64.deb Checksums-Sha256: 130ade64f5ee887871be04db2d109d88dbb989401d23c9a8e18f1afcb96f414e 1872 cafeobj_1.5.2-2.dsc 52fd642af864ccba24a74f1256667fe981028800de945fb47126da9bc4591b04 4768 cafeobj_1.5.2-2.debian.tar.xz a4ab679397a34b14d69f042350897d850d8cccdb895f061d60326afe01a94921 12727660 cafeobj_1.5.2-2_amd64.deb Files: 1c0dad39fec225bac41e64a774280b7e 1872 science optional cafeobj_1.5.2-2.dsc 9b22ece5dc9fc0e5db7f9abe2776bd0f 4768 science optional cafeobj_1.5.2-2.debian.tar.xz 71960d2666418f582070dc2303fd4221 12727660 science optional cafeobj_1.5.2-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIVAwUBVDXUD2yspEiGDNwTAQi7pA/9E70Fc1Wsm9cGg4rmVbKOHp1OMDXoTaWT 9bwoWOwar3ci9C9Thm7L+orWTtEyNEQuMltWtW+Fq31fAfzvL5dqPgPAsQnk27xv qKwGbgsusQpDE2a0+5XC6Wenbr7eIKgFaqcjIHFhMoXKGiISjdNShBPGHhu96Vl5 +PL8Ef4Fesuet0SOSCXVIo5zI2ZpjudnYA2AAcwYtlf6fxf9cP90a57wPfJvAxLG vsBX5NgdB/O0iYqi8dXZieS5LobNQF0FHBfMDBAgF7g1OyBmfNSIGK0aCsmwYU67 7gLe0uWOSaxYRzwR1/GxDwUZN40e4g9nXcSHLVcwn06sIfZ/QfWbwG4aJ86netJm HK/HGHAQ4ExBmpcPRSFAOOdGBPcmdY8qMu1pufgDXxHGpBRHJT1fITrtiMA18qnU lsP7WcaPGlsQvPoPLRWcWQSx51I3uF2fGSQlLEGUCNrd5p8k8bH0yuGWOH9KvueE DPW7pPe+L3ZN660j8inQXft83yWl+MsFl5nz5owfph6WkF8gPsIBdb0vU1vALoJr ToYzqBAqc6O2umVkKLMPH47hQ9dac3urr4gcJwM12feKHRls/oaCIWi/SSEbs+Lv qmP8dl6WaU980Y29LqXsKtfkKW+7to2GmCuZOkye0zEU3HcPVaEd0Uf+DI9Ilf2m Z4cs0YcHVco= =ey6T -----END PGP SIGNATURE-----
