| non port: math/stp/distinfo |
Number of commits found: 9 |
|
Saturday, 15 Jun 2024
|
08:42 Gleb Popov (arrowd) 
math/stp: Update to 2.3.4
Reported by: portscout!
    4c6970a |
|
Sunday, 21 Jul 2019
|
13:38 arrowd
math/stp: Update to 2.3.3.
  |
|
Saturday, 23 Feb 2019
|
16:24 arrowd
math/stp: Update to 2.3.2.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19305
|
|
Tuesday, 24 Jul 2018
|
06:19 arrowd
math/stp: Update to latest 2.3.1 version.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16286
|
|
Monday, 3 Mar 2014
|
16:21 lwhsu
- Update to revision 1436
PR: ports/186512
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer)
|
|
Friday, 11 Nov 2011
|
06:15 lwhsu
- Update to revision 1407
- Pass maintainership to arrowdodger <6yearold@gmail.com>
Original patch by: arrowdodger <6yearold@gmail.com>
Feature safe: yes
|
|
Sunday, 20 Mar 2011
|
12:54 miwi
- Get Rid MD5 support
|
|
Wednesday, 24 Dec 2008
|
20:51 lwhsu
- Update to 0.1-11-18-2008
|
|
Thursday, 19 Jun 2008
|
01:52 lwhsu
Add stp , a Decision Procedure for Bitvectors and Arrays.
|
Number of commits found: 9 |
As an Amazon Associate I earn from qualifying purchases.