diff options
Diffstat (limited to 'academic/coq/gpl.txt.gz')
-rw-r--r-- | academic/coq/gpl.txt.gz | bin | 12138 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/academic/coq/gpl.txt.gz b/academic/coq/gpl.txt.gz Binary files differdeleted file mode 100644 index 0ef740a4c7..0000000000 --- a/academic/coq/gpl.txt.gz +++ /dev/null |