summaryrefslogtreecommitdiff
path: root/lang/mercury/distinfo
diff options
context:
space:
mode:
authorjtb <jtb>2001-05-15 21:09:44 +0000
committerjtb <jtb>2001-05-15 21:09:44 +0000
commit1269c08bfa3f221b089e85abfc43bf7fa6e7095b (patch)
tree322e7d862eed2c48f063a967f021e2b6f84caac3 /lang/mercury/distinfo
parent80f15835bc00330ac1854ef9d8df12e2ce5d78e0 (diff)
downloadpkgsrc-1269c08bfa3f221b089e85abfc43bf7fa6e7095b.tar.gz
Initial import of mercury-0.10.1.
Mercury is a modern logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. This package includes the compiler, profiler, debugger, documentation, etc. It does NOT include the "extras" distribution; that is available from <http://www.cs.mu.oz.au/mercury/download/release.html>.
Diffstat (limited to 'lang/mercury/distinfo')
-rw-r--r--lang/mercury/distinfo15
1 files changed, 15 insertions, 0 deletions
diff --git a/lang/mercury/distinfo b/lang/mercury/distinfo
new file mode 100644
index 00000000000..9c745361235
--- /dev/null
+++ b/lang/mercury/distinfo
@@ -0,0 +1,15 @@
+$NetBSD: distinfo,v 1.1.1.1 2001/05/15 21:09:44 jtb Exp $
+
+SHA1 (mercury-compiler-0.10.1.tar.gz) = 5e4e660cca1e9e6e28026814fd2e6d014ab9d856
+Size (mercury-compiler-0.10.1.tar.gz) = 10428428 bytes
+SHA1 (patch-aa) = c36c66f145e85fbd1c7e87a4c1e8298699bd9e0b
+SHA1 (patch-ab) = 912d8d6db3af3c4119e05a4337353cd6a8e34992
+SHA1 (patch-ac) = 0aa3cbc9c8103337c6c95ec824a3c45b5696b580
+SHA1 (patch-ad) = cd16a2bef5b0629ec013d9a6c5988449168a8a27
+SHA1 (patch-ae) = 91bfb5a978958f14381dbdd93d282009c618dbfc
+SHA1 (patch-af) = 3d8ec830e28b66c0533f99eaf6edb80ef6391c52
+SHA1 (patch-ag) = f6d40c264b7046263f32b7321396648527a10e6f
+SHA1 (patch-ah) = 87b4976ca126f0b4e26636f770716cd34cebdf1d
+SHA1 (patch-ai) = 7ca545d17a3981f7d6e872c4b3cacaba3f782fd7
+SHA1 (patch-aj) = 42ae96a2834b3a045b35506de988c48c5330e13d
+SHA1 (patch-ak) = cd2344776a799f0dd3bbaab4195cbf41c0cf894a