summaryrefslogtreecommitdiff
path: root/dev-lang/polyml/polyml-5.3.ebuild (follow)
Commit message (Expand)AuthorAgeFilesLines
* Removed outdated packagesRené 'Necoro' Neumann2012-02-181-29/+0
* Added newer PolyML version for IsabelleRené 'Necoro' Neumann2010-03-021-0/+29
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-23 19:55:26 +0000
it/commit/internal/feed/template/feed.tpl.go?h=v0.4.1&id=e0a857eafebd92d5e94d156997d5d9422a50933f&follow=1'>Improve templateRené 'Necoro' Neumann3-20/+28 2020-05-05Fix pipelineRené 'Necoro' Neumann1-2/+5 2020-05-05Make changelog a part of the release pipeline (untested)René 'Necoro' Neumann2-0/+12