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