Index of /macports/distfiles/clingo
Name
Last modified
Size
Parent Directory
-
clingo-5.5.0.tar.gz
2021-08-15 14:23
2.9M
clingo-5.5.2.tar.gz
2022-06-02 16:31
3.0M
clingo-5.6.2.tar.gz
2022-12-29 06:45
4.8M
clingo-5.7.1.tar.gz
2024-02-20 20:13
5.1M
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80