Pietro Cerutti 36a65e557a lang/seed7: update to 05_20240812 ... Changes: https://github.com/ThomasMertes/seed7/releases/tag/Seed7_release_2024-08-12		2024-08-13 08:35:21 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist