diff options
Diffstat (limited to 'pkgs/applications/science/logic/coq/configure.patch.gz')
| -rw-r--r-- | pkgs/applications/science/logic/coq/configure.patch.gz | bin | 0 -> 438 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq/configure.patch.gz b/pkgs/applications/science/logic/coq/configure.patch.gz
new file mode 100644
index 0000000000000..85ecfda6dae16
--- /dev/null
+++ b/pkgs/applications/science/logic/coq/configure.patch.gz
Binary files differ |