-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 09 Sep 2014 19:17:24 +0900 Source: cafeobj Binary: cafeobj Architecture: source amd64 Version: 1.5.0-1 Distribution: unstable Urgency: low Maintainer: Norbert Preining <preining@debian.org> Changed-By: Norbert Preining <preining@debian.org> Description: cafeobj - new generation algebraic specification and programming language Closes: 760915 Changes: cafeobj (1.5.0-1) unstable; urgency=low . * first upload (Closes: #760915) Checksums-Sha1: 63f4288f315e17ffc46e68638ed4d6dc7d6563ca 1872 cafeobj_1.5.0-1.dsc b3a4ea0ba8aee0d9a8f076eea5ef7b489e33b26c 3265399 cafeobj_1.5.0.orig.tar.gz 7392e285902e2914721fffae350add6cc113c566 4312 cafeobj_1.5.0-1.debian.tar.xz 69056d4b4ed1a5c56c83604526904afbfcabd3ea 10406066 cafeobj_1.5.0-1_amd64.deb Checksums-Sha256: 7bcc5b9cb02a6002f6885c35336498e4342a33e41d779ecdab4a1729d7090d22 1872 cafeobj_1.5.0-1.dsc 98e0771c9ccd4963f5a909b92687b27a74c57e2dfe791635a9c69d6d0d70229e 3265399 cafeobj_1.5.0.orig.tar.gz 103786c7072b4e98a0b036b38afe30118dfb57e1b9b112b420e0fe4ca9817a9e 4312 cafeobj_1.5.0-1.debian.tar.xz e828c44b4f1833316a12c289e0ceca77e6a2167c150f77b7f151ca2a0343536f 10406066 cafeobj_1.5.0-1_amd64.deb Files: 95aa04396f23f231ef55c95d318be820 10406066 science optional cafeobj_1.5.0-1_amd64.deb c363a69b735751788ba46d29e552b729 1872 science optional cafeobj_1.5.0-1.dsc 93e30a690781c03ceed45f6f5fc84ae5 3265399 science optional cafeobj_1.5.0.orig.tar.gz 13dc72aaaeb9bb15e7edb3ac64dafa0d 4312 science optional cafeobj_1.5.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIVAwUBVA7mdWyspEiGDNwTAQg6rRAAtm3ZwZMG9iMJk369qklh98kGD9R+ta1a wMouHlAAPoJSDtbgqFFjZOI9Bj1ZQu3sLYV8Ffz8yyp/m8pEyurRlOFAr37T4fAZ rcfXnRbx0uHGzKtA0OdSa4/cZatX9w0bkv8ufNZWR0M6F34JLYxeyuUvTB9lyFE3 asppGCoYRA7HFxMjUs+iNnSUoVJIg1camasKy2qEUxHBW2uNrvJgJGIha2D5Ku1n 0ghEk/5yNoryRB7DXQ4yxx4kimD/4WDw3qKWl8zZpoT/wkcLSTBX+TDK7+R8z/As brqgs60I1zH6cUgQDBfxV1S5+fY5q8xk6QbZh0SK9rvXsPCg3f8QZEf2wQHbZbCJ FEVxQuDcqvkAG9n9p4b7P44QBNOaNeWDN2R1KyQkVVoawAIpvRw/OWbQypCqIkWn sTri24KFDtELGIdU1eyzLAlX1heaCWwwfMTujSgzU9g5a9gVe996kKSR0z/mXG5P AU6qm16aSmKRz5f2th0iwPFA+5+cxqrQQRSFJiYwLaA4firMtMhb3UYQO/608Hsj 2TO4Hr9cfWoxczpazKvHiuuF+EXj9utBD56x03NAtj9/Q7l1oc5/PEOkmYPiimAW 0/ZA7figNfTsw75i0j5vWpiQBdzd0FBHvDvWTinxA9OYLfeTgEpMPoxCyip6ttFF 9NjA37kzIgM= =7/7g -----END PGP SIGNATURE-----
