Back to cafeobj PTS page

Accepted cafeobj 1.5.2-2 (source amd64) into unstable



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