diff options
| author | johans <johans@FreeBSD.org> | 2014-12-22 18:45:20 +0800 |
|---|---|---|
| committer | johans <johans@FreeBSD.org> | 2014-12-22 18:45:20 +0800 |
| commit | efc06ba4878d949f3ba858f4a65e8611010165ce (patch) | |
| tree | 6c6301f6e778e60aa10fefdb854e4c72f418b3a6 /math/aribas | |
| parent | c15d936b34314bdde70c91242a24aac3117da653 (diff) | |
| download | freebsd-ports-gnome-efc06ba4878d949f3ba858f4a65e8611010165ce.tar.gz freebsd-ports-gnome-efc06ba4878d949f3ba858f4a65e8611010165ce.tar.zst freebsd-ports-gnome-efc06ba4878d949f3ba858f4a65e8611010165ce.zip | |
Update to Coq 8.4pl5
Diffstat (limited to 'math/aribas')
0 files changed, 0 insertions, 0 deletions