sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-02 18:10:38 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
483855 commits 48 branches 105 tags 1.8 GiB
Commit graph

1 commit

Author SHA1 Message Date
Yuri Victorovich
37a666afb9 New port: math/vampire: Automatic theorem prover 2019-08-29 05:30:57 +00:00