diff options
| author | janus <janus@xn--kn-1ia.guru> | 2015-11-24 10:59:39 +0000 |
|---|---|---|
| committer | janus <janus@xn--kn-1ia.guru> | 2016-01-01 16:59:48 +0000 |
| commit | a1ade02cdc75a11013c49ad12c7bb4feeec0d080 (patch) | |
| tree | f7969d9daf6d3e1aebabdf0c085d52a0a0996ca9 /pkgs/development/coq-modules | |
| parent | 35cf6c428f05c522a4987d144c8bd5abe6b2f468 (diff) | |
FreeBSD support
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions