-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 17 Jul 2010 17:56:47 +0200 Source: minlog Binary: minlog Architecture: source all Version: 4.0.99.20100221-5.2 Distribution: unstable Urgency: low Maintainer: Freiric Barral <barral@math.lmu.de> Changed-By: gregor herrmann <gregoa@debian.org> Description: minlog - Proof assistant based on first order natural deduction calculus Closes: 581738 Changes: minlog (4.0.99.20100221-5.2) unstable; urgency=low . * Non-maintainer upload. * Fix "contains /usr/share/doc-base/doc-base": s/doc-base/minlog/ debian/minlog.doc-base (closes: #581738). Checksums-Sha1: cc732d1190455ff1879dab4d8641545c402793b2 1757 minlog_4.0.99.20100221-5.2.dsc 36ab5aea6cb20b08296666d2c06105eab5915809 4594 minlog_4.0.99.20100221-5.2.debian.tar.gz e55bdfe6d7c22f21dbe752ccd2cdbd0937d1a204 2884278 minlog_4.0.99.20100221-5.2_all.deb Checksums-Sha256: 6910055b5441a130505df9d400560ebd21033967e5f2c174695ea4fb02b640e6 1757 minlog_4.0.99.20100221-5.2.dsc a3a4e837e9cd55c876186595421a4535d4aaf6b6295ba6a6ad0d70bb900a1446 4594 minlog_4.0.99.20100221-5.2.debian.tar.gz 0e8119c4ee6aeaefa926d5e23f45106a5f3db85633156012c8633c259ed71d2e 2884278 minlog_4.0.99.20100221-5.2_all.deb Files: 0e1c846104e6a37af8db4dd4c887ed35 1757 math optional minlog_4.0.99.20100221-5.2.dsc e0bca87a023a6ce97f1db2d107f45bf2 4594 math optional minlog_4.0.99.20100221-5.2.debian.tar.gz c6aa2fdac3b9355dae48c8fcc42b1403 2884278 math optional minlog_4.0.99.20100221-5.2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCAAGBQJMQdRiAAoJELs6aAGGSaoGrbwP/0uh62bcTYGtfghz5jfd37Jk n1Eul5yK3rEWq8fAc3yYOHHVKxHFlh3FMi10sqFg0Oiaj4G7lH4RxUoKk2AooFkG 6E7mhnFi+PTM/ibaXgznwrI2a1Fx7yDUVpUwnQvBpmMwEyy0YCrEwGQEpafbEvtC AKJ5Duxg4Y2Qb4it39jgIVZAGSuX9Clc3842bgwCISjx7dT39xE9zPLZADSzATdv h4zs8zFQWAJ6tcUiwBKMPnUkXwYWFzOBQX9+gqByrMzU1NSlEKoPAp91cDDpvaKv tf85RMHJ6Tyv6XTigqhfxwBATKSyXYHrDFpxwdb/pzZKF+0pFhF+Cinyijgkja9Q y0E5EFie5eKaRthcDMOiDd5Rbtz4DcQLbPnoRiYlV566i6JsWy6mGUq44bqVtEgI w8EVZN6RbRdppxtbgEKvcOIaUV3vVKAS7hxeN3K2fDnolgTqfTin+Ugmr5aCu1kj X6kLfcnEDCaT+NomKYCxiQQjc5d9lflp6VYrQHLOGjy+eY1zmKmJ4A+KUW9FnWcP 3DNZFCgV0tmXqxtujGZ0pT19B0MZSKGgpRP6jtJFnN9gPBsOXxu1PCe02esYX/KC 7BFVMzF5pZo4uZM1vY+M1TCqq60rixgQ5RPITfFrpOUekwUWgwh0Xj55R1t+T6Bd a4VnWSVFMTvRP+lyAi8p =na5C -----END PGP SIGNATURE----- Accepted: minlog_4.0.99.20100221-5.2.debian.tar.gz to main/m/minlog/minlog_4.0.99.20100221-5.2.debian.tar.gz minlog_4.0.99.20100221-5.2.dsc to main/m/minlog/minlog_4.0.99.20100221-5.2.dsc minlog_4.0.99.20100221-5.2_all.deb to main/m/minlog/minlog_4.0.99.20100221-5.2_all.deb
