diff options
| author |   George Shapovalov <george@gentoo.org> | 2003-05-16 09:54:21 +0000 |
|---|---|---|
| committer | George Shapovalov <george@gentoo.org> | 2003-05-16 09:54:21 +0000 |
| commit | 6bfe5fcb0730bd4fa73c47325faf9241a973023a (patch) | |
| tree | 06371b3dfcbff61c40343206e4616a56865b416c /app-sci/otter | |
| parent | version bump and omf/scrollkeeper fixes (diff) | |
| download | gentoo-2-6bfe5fcb0730bd4fa73c47325faf9241a973023a.tar.gz gentoo-2-6bfe5fcb0730bd4fa73c47325faf9241a973023a.tar.bz2 gentoo-2-6bfe5fcb0730bd4fa73c47325faf9241a973023a.zip | |
new package: Automated Deduction System
Diffstat (limited to 'app-sci/otter')
| -rw-r--r-- | app-sci/otter/Manifest | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/app-sci/otter/Manifest b/app-sci/otter/Manifest new file mode 100644 index 000000000000..7d634177b00e --- /dev/null +++ b/app-sci/otter/Manifest @@ -0,0 +1,3 @@ +MD5 5a879445965069a26d6f863ac86440d4 Legal 1133 +MD5 c2cb154d9190088f7095127a13c25f35 otter-3.2.ebuild 600 +MD5 b299411e0aa76723d9617046d8d7ea5e files/digest-otter-3.2 62 |