aboutsummaryrefslogtreecommitdiff
path: root/etc/utils/packager
AgeCommit message (Expand)Author
2020-06-10Generated opam packages allow coq-dev againCyril Cohen
2020-06-09removing opam `| (= "dev")` for released packagesCyril Cohen
2020-05-27URL in httpsCyril Cohen
2020-04-15fix packagerCyril Cohen
2019-12-02take advantage of opam variables and their default valuesYves Bertot
2019-04-08switching to opam 2.0 formatCyril Cohen
2019-02-05fix etc/utils/packager (#273)Cyril Cohen
2018-04-24replacing my local `git root` by a universal commandCyril Cohen
2018-04-24fix opam packager script + dependenciesCyril Cohen
2017-10-20reproduce github archive locally rather than downloading, much fasterCyril Cohen
2017-10-20improved package generatorCyril Cohen
2017-10-19new script to create opam meta packagesCyril Cohen
2017-09-07adding odd_order to the list of released content for 1.6Cyril Cohen
2015-12-26packaging ssr 1.6Cyril Cohen
2015-12-12modif packager ":" -> "-"Cyril Cohen
2015-07-22opam meta-data +urlCyril Cohen
2015-07-22make the opam package meta dataCyril Cohen
2015-07-21make opam meta-dataCyril Cohen
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:54:02 +0000