From bef4f3c03fd2f42dbc028393bc09a88100be5ba1 Mon Sep 17 00:00:00 2001 From: William Bowman Date: Fri, 5 Aug 2011 11:11:34 -0300 Subject: academic/coq: Added (The Coq Proof Assistant) Signed-off-by: Niels Horn --- academic/coq/gpl.txt.gz | Bin 0 -> 12138 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 academic/coq/gpl.txt.gz (limited to 'academic/coq/gpl.txt.gz') diff --git a/academic/coq/gpl.txt.gz b/academic/coq/gpl.txt.gz new file mode 100644 index 0000000000..0ef740a4c7 Binary files /dev/null and b/academic/coq/gpl.txt.gz differ -- cgit v1.2.3