aboutsummaryrefslogtreecommitdiff
path: root/math/picosat/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* math: remove 'Created by' linesTobias C. Berner2022-07-201-2/+0
* */*: Take maintainershipMuhammad Moinur Rahman2022-03-081-1/+1
* all: return koobs' ports to the pool after safekeeping his commit bit.Rene Ladan2022-03-071-1/+1
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/picosat: Update to 965Kubilay Kocak2016-06-271-3/+10
* Move picosat and py-pycosat from devel -> mathKubilay Kocak2014-08-251-0/+30