diff options
author | Antoine Brodin <antoine@FreeBSD.org> | 2017-11-19 22:30:45 +0000 |
---|---|---|
committer | Antoine Brodin <antoine@FreeBSD.org> | 2017-11-19 22:30:45 +0000 |
commit | 898f1c71aff7f33b758a1f0fd889fd83d684db7b (patch) | |
tree | 3c6ebb8f376a1193c12ac274256652fe18a11f27 /lang | |
parent | New port: math/eprover : Theorem prover for full first-order logic with equality (diff) |
Fix staging
Notes
Notes:
svn path=/head/; revision=454507
Diffstat (limited to 'lang')
0 files changed, 0 insertions, 0 deletions