Accepted minlog 4.0.99.20100221-5.2 (source all)
-----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