diff options
| author | Stefan Eßer <se@FreeBSD.org> | 2019-05-18 17:51:17 +0800 |
|---|---|---|
| committer | Stefan Eßer <se@FreeBSD.org> | 2019-05-18 17:51:17 +0800 |
| commit | 8cee86f02595a5b32d0ab6cfbc7d798cbe103ab4 (patch) | |
| tree | c35dfbab4d4810321797fdd7019975ad03377785 /math/coq | |
| parent | 6911bc13fae80d00e4f992a321d39ad21b310983 (diff) | |
| download | freebsd-ports-gnome-8cee86f02595a5b32d0ab6cfbc7d798cbe103ab4.tar.gz freebsd-ports-gnome-8cee86f02595a5b32d0ab6cfbc7d798cbe103ab4.tar.zst freebsd-ports-gnome-8cee86f02595a5b32d0ab6cfbc7d798cbe103ab4.zip | |
Remove requirement for a c11 compiler
Diffstat (limited to 'math/coq')
0 files changed, 0 insertions, 0 deletions