openbsd-ports

History

- add notes explaining why this is stuck at 2.1.16 for now

- disable the update check, ports isn't particularly likely to have
newer versions anytime soon (see above) and upstream's binaries won't
help us

- use ${PATCHORIG} not hardcoded .orig in port Makefile

2022-03-16 23:09:47 +00:00

algotutor

drop RCS Ids

2022-03-11 18:58:50 +00:00

anki

anki port tweaks:

2022-03-16 23:09:47 +00:00

drgeo

drop RCS Ids

2022-03-11 18:58:50 +00:00

drgeo-doc

drop RCS Ids