summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeorge Shapovalov <george@gentoo.org>2003-05-16 09:54:21 +0000
committerGeorge Shapovalov <george@gentoo.org>2003-05-16 09:54:21 +0000
commit6bfe5fcb0730bd4fa73c47325faf9241a973023a (patch)
tree06371b3dfcbff61c40343206e4616a56865b416c /app-sci
parentversion bump and omf/scrollkeeper fixes (diff)
downloadgentoo-2-6bfe5fcb0730bd4fa73c47325faf9241a973023a.tar.gz
gentoo-2-6bfe5fcb0730bd4fa73c47325faf9241a973023a.tar.bz2
gentoo-2-6bfe5fcb0730bd4fa73c47325faf9241a973023a.zip
new package: Automated Deduction System
Diffstat (limited to 'app-sci')
-rw-r--r--app-sci/otter/Manifest3
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