| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | math/vampire: update 4.8 → 4.9casc2024 | Yuri Victorovich | 2024-07-12 | 1 | -0/+19 |
| | | | | | Reported by: portscout | ||||
| * | math/vampire: Update 4.7-423 → 4.8 | Yuri Victorovich | 2023-07-12 | 1 | -27/+0 |
| | | | | | Reported by: portscout | ||||
| * | math/vampire: Update 4.5.1 → 4.7-423 | Yuri Victorovich | 2023-06-25 | 3 | -44/+2 |
| | | | | | Reported by: portscout | ||||
| * | math/vampire: Update 4.4 -> 4.5.1 | Yuri Victorovich | 2020-07-16 | 1 | -3/+3 |
| | | | | | | | | Reported by: portscout Notes: svn path=/head/; revision=542383 | ||||
| * | math/vampire: Hook to the build | Yuri Victorovich | 2019-09-02 | 3 | -0/+69 |
| | | | | | Notes: svn path=/head/; revision=510760 | ||||
| * | Remove unhooked port | Antoine Brodin | 2019-09-02 | 3 | -69/+0 |
| | | | | | Notes: svn path=/head/; revision=510757 | ||||
| * | New port: math/vampire: Automatic theorem prover | Yuri Victorovich | 2019-08-29 | 3 | -0/+69 |
| Notes: svn path=/head/; revision=510141 | |||||
 |
index : freebsd/ports.git | |
| Unnamed repository; edit this file 'description' to name the repository. | git |
| summaryrefslogtreecommitdiff |