Accepted minlog 4.0.99.20080304-4.1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 13 Feb 2010 00:17:04 +0100
Source: minlog
Binary: minlog
Architecture: source all
Version: 4.0.99.20080304-4.1
Distribution: unstable
Urgency: low
Maintainer: Freiric Barral <barral@math.lmu.de>
Changed-By: Christoph Egger <christoph@debian.org>
Description:
minlog - Proof assistant based on first order natural deduction calculus
Closes: 562301
Changes:
minlog (4.0.99.20080304-4.1) unstable; urgency=low
.
* Non-maintainer upload.
* add ${misc:Depends}
* Change Build dependency fronm tetex to texlive (Closes: #562301)
Checksums-Sha1:
704d7bbbd11c7d7834932fdec104ddfa35010c2f 1690 minlog_4.0.99.20080304-4.1.dsc
f07cfe7a35487773056775b9a6ca57ef17304c1a 3854 minlog_4.0.99.20080304-4.1.diff.gz
876f65337d4f4e04c0d498a78c7e6bd7c3dc8b56 2623334 minlog_4.0.99.20080304-4.1_all.deb
Checksums-Sha256:
e31cfed851e322228488d3182856aa151cb721df6499b240743f9e8b37a630b3 1690 minlog_4.0.99.20080304-4.1.dsc
b33e6bf703a5d010e4b415d464b97650e34de97dd138fbdf1869097a893109ac 3854 minlog_4.0.99.20080304-4.1.diff.gz
d91582cfc7f23222cc6537c264acb18d06fddd7608321acae3c2b98f7d9782f1 2623334 minlog_4.0.99.20080304-4.1_all.deb
Files:
08452f2004c386613ea577f9dc19dbee 1690 math optional minlog_4.0.99.20080304-4.1.dsc
0ca777254d1f4280b97683fdd3e596ef 3854 math optional minlog_4.0.99.20080304-4.1.diff.gz
8ede31753158f45d4f2fe48a0eecf7d7 2623334 math optional minlog_4.0.99.20080304-4.1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJLdeKvAAoJEKv/7bJACMb5v3EP/3NS3n0rllBoYbwALZ0QEd1s
Nlpzjn4li2v1uFDVaMFJc5hESmjxcWZD4F5Ge7979H+e8GVCHyVboXvHNznSPSnc
+vO+uyULSLSQaqeHTQfEZXN1I8TGGXfzRoDk9l84cKhtXWX+WuG97ExjblrfAp7+
kYpXIWMP845tfR+oFwnXRdRLilMlHDTJMR4NXHN7lbEmgi/ZsRhpTldSt09cyeLi
PjAA9weiznc5K/l0MgNOUD/xHKnF3BWzGnn17ZV1un/fBQJDe+cTSTLAOpKNxwXE
8lub6zcJvr2dS9uVFENwQcTfUQjI6hQqXg6537z+yZROinwhTMWtv0VMhgMT3xOV
xlxr3NoEMz88CyBKKuLtMtRoHLppmlzKQBuMIkS7IFODWcIcgx/9xELMmyzdnT41
U0+5tLn9nlWZrV6gWX5TUb9UYmXSH8fcpiC7glygRN+jgHaWnTxWCbaF2nWCScdk
GwhtH4eoPISealmZGcuXdV3ba/mr5sWiEYZwWUjkz0dqQZBjSdYD09kOH0tZfDan
LCVulPK/YeYKNlyrDig90pzQVy3QxssD1ze7UIDxwf1Ygxpt2uOOxGgtRVSIxvgf
YJUcwEAj+PmM8JYleFtxphHZ77BNkYBpfcX7pQe+jy2EpORTd7QjerFgLilm2cK0
MLvgWq7Og073YZIzRWSM
=lKXE
-----END PGP SIGNATURE-----
Accepted:
minlog_4.0.99.20080304-4.1.diff.gz
to main/m/minlog/minlog_4.0.99.20080304-4.1.diff.gz
minlog_4.0.99.20080304-4.1.dsc
to main/m/minlog/minlog_4.0.99.20080304-4.1.dsc
minlog_4.0.99.20080304-4.1_all.deb
to main/m/minlog/minlog_4.0.99.20080304-4.1_all.deb