source: Deliverables/D6.6/matita/matita_0.99.2-1_amd64.changes @ 3241

Last change on this file since 3241 was 3241, checked in by sacerdot, 7 years ago

Debian package for matita_0.99.2

File size: 1.5 KB
Line 
1Format: 1.8
2Date: Tue, 30 Apr 2013 19:26:05 +0200
3Source: matita
4Binary: matita
5Architecture: source amd64
6Version: 0.99.2-1
7Distribution: UNRELEASED
8Urgency: low
9Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
10Changed-By: Claudio Sacerdoti Coen <claudio@zenone.casamia.org>
11Description:
12 matita     - interactive theorem prover
13Changes:
14 matita (0.99.2-1) UNRELEASED; urgency=low
15 .
16   * Non-maintainer upload.
17   * New upstream release
18Checksums-Sha1:
19 656dee9ecde1aa043bbf7fdd37b913377c8e3b44 1293 matita_0.99.2-1.dsc
20 2f6ad7e775dd6446bc091583a1d7758dba4f9f4c 2290597 matita_0.99.2.orig.tar.gz
21 c82a48491ae41b0c8d78b2af793581178255e4ba 4326 matita_0.99.2-1.debian.tar.gz
22 f82925d50fcfdb5e165b298e715ea9180679fd6e 4501070 matita_0.99.2-1_amd64.deb
23Checksums-Sha256:
24 c3f5ead9e872b211e2f7ff47661ff53acc39fa0ef907a6212e290bce8aaaadfa 1293 matita_0.99.2-1.dsc
25 6971e88cc03a1d602d16f0102b680f29333f7c757c21d6945ce7f72e1514461e 2290597 matita_0.99.2.orig.tar.gz
26 27cba8fb28a4ae49434658408bd5794e964cbee6ee5fc6c07a5bcb4dc17773ee 4326 matita_0.99.2-1.debian.tar.gz
27 29b605c09e5f744e1a1437dab127d64dc3e8578b98d71a5dc938a4573abf54e1 4501070 matita_0.99.2-1_amd64.deb
28Files:
29 f1f9f9d29e60419999d8ccffc52fb83e 1293 math optional matita_0.99.2-1.dsc
30 682d71403815456fdfbeb25e0b4fdda6 2290597 math optional matita_0.99.2.orig.tar.gz
31 9eb6e5c4fc2f477e63b75707150ed656 4326 math optional matita_0.99.2-1.debian.tar.gz
32 a87adae112358514368bd211a08146e7 4501070 math optional matita_0.99.2-1_amd64.deb
Note: See TracBrowser for help on using the repository browser.