| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | configure.patch | 823 | log plain blame |
| -rw-r--r-- | coq-8.3-make-3.82-compat.patch | 2748 | log plain blame |
| -rw-r--r-- | default.nix | 1905 | log plain blame |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |