mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-19 08:13:21 +00:00
Code Issues Releases Activity
229,261 Commits 46 Branches 101 Tags 3.4 GiB
289e45d4fd
Commit Graph

3 Commits

Author SHA1 Message Date
Dmitry Marakasov
a13d9a603d - Switch SourceForge ports to the new File Release System: categories starting with M 2009-08-22 00:28:34 +00:00
Li-Wen Hsu
4553448013 - Update to 0.1-11-18-2008 2008-12-24 20:51:30 +00:00
Li-Wen Hsu
a8dcd66e6e Add stp , a Decision Procedure for Bitvectors and Arrays. 2008-06-19 01:52:25 +00:00