- Committer: Package Import Robot
- Date: 2013-05-25 11:43:32 UTC
- mfrom: (5.1.5 sid)
- Revision ID: package-import@ubuntu.com-20130525114332-lkzco1dti2hwrf7v
* QA upload.
* Upload to unstable.
* Change maintainer to QA group.
* Upload to unstable.
* Change maintainer to QA group.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
.pc
|
5.2.1 | 11 years ago | Package Import Robot | * QA upload. * New upstream release * debian/watch |
|
||
|
apps.examples
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
|
apps.src
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
|
bin
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
|
bob
|
1.1.2 | 15 years ago | Bazaar Package Importer | Import upstream version 0.0.200806a |
|
||
|
debian
|
2 | 16 years ago | Bazaar Package Importer | * New upstream release. * debian/patches/01-libtoo |
|
||
|
ladr
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
|
mace4.examples
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
|
mace4.src
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
|
manpages
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
|
prover9.examples
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
|
provers.src
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
|
test.src
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
|
TODO
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
|
utilities
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
|
utilities-old
|
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a |
|
||
.gdb_history |
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a | 518 bytes |
|
|
|
Changelog |
1.1.6 | 11 years ago | Package Import Robot | Import upstream version 0.0.200911a | 60.8 KB |
|
|
|
COPYING |
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a | 17.5 KB |
|
|
|
libtoolize.patch |
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a | 37.6 KB |
|
|
|
Makefile |
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a | 1.4 KB |
|
|
|
README.AMD_64 |
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a | 913 bytes |
|
|
|
README.first |
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a | 162 bytes |
|
|
|
README.make |
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a | 610 bytes |
|
|
|
README.release-reminder |
1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200804a | 290 bytes |
|
|
rev.py |
1.1.3 | 15 years ago | Bazaar Package Importer | Import upstream version 0.0.200809a | 343 bytes |
|
|
|
sed.gnu-blurb |
1.1.1 | 16 years ago | Bazaar Package Importer | Import upstream version 0.0.200805a | 775 bytes |
|
|
|
VERSION_DATE.h |
1.1.6 | 11 years ago | Package Import Robot | Import upstream version 0.0.200911a | 78 bytes |
|
|