openbsd-ports/lang/seed7
2020-05-20 14:36:14 +00:00
..
patches Update to seed7-20200502 2020-05-20 14:36:14 +00:00
pkg Update to seed7-20200502 2020-05-20 14:36:14 +00:00
distinfo Update to seed7-20200502 2020-05-20 14:36:14 +00:00
Makefile Update to seed7-20200502 2020-05-20 14:36:14 +00:00