From 6bfe5fcb0730bd4fa73c47325faf9241a973023a Mon Sep 17 00:00:00 2001 From: George Shapovalov Date: Fri, 16 May 2003 09:54:21 +0000 Subject: new package: Automated Deduction System --- app-sci/otter/Manifest | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 app-sci/otter/Manifest (limited to 'app-sci') 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 -- cgit v1.2.3-65-gdbad