diff options
| author | ale <ale@FreeBSD.org> | 2019-02-14 16:06:47 +0800 |
|---|---|---|
| committer | ale <ale@FreeBSD.org> | 2019-02-14 16:06:47 +0800 |
| commit | 603dac6787aef2b2af4f05bce42bb164ab8ce05d (patch) | |
| tree | 8974444e380b6495afac972590d47285b1cec4b6 /french | |
| parent | 4f7c6caf9704688a3d9eebb46cd37d898efd2928 (diff) | |
| download | freebsd-ports-gnome-603dac6787aef2b2af4f05bce42bb164ab8ce05d.tar.gz freebsd-ports-gnome-603dac6787aef2b2af4f05bce42bb164ab8ce05d.tar.zst freebsd-ports-gnome-603dac6787aef2b2af4f05bce42bb164ab8ce05d.zip | |
Update to 0.5.4 release and enable CVC4 SMT Checker by default.
Diffstat (limited to 'french')
0 files changed, 0 insertions, 0 deletions