Name Last modified Size Description Parent Directory - clingo-mode-20230825..> 27-Aug-2023 02:27 422 Manifest 27-Aug-2023 02:27 926 metadata.xml 13-Aug-2023 02:19 331