summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/coq-menhirlib: new package; add 20220210Maciej Barć2022-12-233-0/+43
* dev-ml/lablgtk: fix MakefileAlfredo Tupone2022-12-232-0/+12
* dev-ml/lablgtk: remove warn-errorAlfredo Tupone2022-12-231-2/+3
* dev-ml/ocamlnet: get version from $PVAlfredo Tupone2022-12-221-0/+8
* dev-ml/ocamlnet: add hard dependency in MakefileAlfredo Tupone2022-12-222-0/+12
* dev-ml/ocamlnet: fix build with tkAlfredo Tupone2022-12-212-0/+2
* dev-ml/odoc: add missing fmt depMaciej Barć2022-12-211-3/+4
* dev-ml/odoc: new package, add 2.2.0Alfredo Tupone2022-12-213-0/+44
* dev-ml/odoc-parser: new package, add 2.0.0Alfredo Tupone2022-12-213-0/+44
* dev-ml/tyxml: new package, add 4.5.0Alfredo Tupone2022-12-214-0/+62
* dev-ml/reason: keyword 3.8.2 for ~x86Alfredo Tupone2022-12-211-1/+1
* dev-ml/merlin-extend: keyword 0.6.1 for ~x86Alfredo Tupone2022-12-211-1/+1
* dev-ml/llvm-ocaml: Remove old snapshotsMichał Górny2022-12-193-226/+0
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221217 snapshotMichał Górny2022-12-182-0/+113
* dev-ml/dune: add 3.6.1Alfredo Tupone2022-12-172-0/+69
* dev-ml/dune-site: add 3.6.1Alfredo Tupone2022-12-162-0/+32
* dev-ml/dune-private-libs: add 3.6.1Alfredo Tupone2022-12-162-0/+37
* dev-ml/stdune: add 3.6.1Alfredo Tupone2022-12-162-0/+36
* dev-ml/dyn: add 3.6.1Alfredo Tupone2022-12-162-0/+32
* dev-ml/ordering: add 3.6.1Alfredo Tupone2022-12-162-0/+31
* dev-ml/dune-configurator: add 3.6.1Alfredo Tupone2022-12-162-0/+40
* dev-ml/dune-build-info: add 3.6.1Alfredo Tupone2022-12-162-0/+29
* dev-ml/batteries: add missing camlp-streams dependencyMaciej Barć2022-12-161-1/+2
* dev-ml/mmap: add missing bigarray-compat dependencyMaciej Barć2022-12-161-0/+3
* dev-ml/dune: add 3.5.0Alfredo Tupone2022-12-162-0/+69
* dev-ml/extlib: bump to 1.7.9Maciej Barć2022-12-162-0/+50
* dev-ml/batteries: bump to 3.6.0Maciej Barć2022-12-162-0/+32
* dev-ml/camlp-streams: bump to 5.0.1Maciej Barć2022-12-162-0/+22
* dev-ml/merlin-extend: bump to 0.6.1Maciej Barć2022-12-162-0/+23
* dev-ml/mmap: bump to 1.2.0Maciej Barć2022-12-162-0/+17
* dev-ml/ocaml-ctypes: drop old 0.19.1Maciej Barć2022-12-162-45/+0
* dev-ml/ocaml-ctypes: bump to 0.20.1Maciej Barć2022-12-162-0/+45
* dev-ml/ocaml-migrate-parsetree: bump to 2.4.0Maciej Barć2022-12-162-0/+21
* dev-ml/ocaml-sha: bump to 1.15.2Maciej Barć2022-12-162-0/+23
* dev-ml/ocamlbuild: bump to 0.14.2Maciej Barć2022-12-162-0/+48
* dev-ml/parmap: bump to 1.2.5Maciej Barć2022-12-162-0/+22
* dev-ml/topkg: bump to 1.0.6Maciej Barć2022-12-162-0/+39
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221210 snapshotMichał Górny2022-12-102-0/+113
* dev-ml/ocaml-fileutils: fix deps and dune build without seqMaciej Barć2022-12-092-7/+17
* dev-ml/facile: remove sys-apps/sed from DEPENDDavid Seifert2022-12-071-3/+1
* dev-ml/lablgtk: fix typo in restrictionPetr Vaněk2022-12-061-2/+2
* dev-ml/lablgtk: Improve use flag metadata sectionPetr Vaněk2022-12-061-3/+9
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221205 snapshotMichał Górny2022-12-062-0/+113
* dev-ml/menhir: BetterCompressionUriAlfredo Tupone2022-12-055-8/+8
* dev-ml/fix: BetterCompressionUriAlfredo Tupone2022-12-053-5/+5
* dev-ml/dose3: BetterCompressionUriAlfredo Tupone2022-12-053-4/+4
* dev-ml/camlbz2: update SRC_URIAlfredo Tupone2022-12-052-2/+2
* dev-ml/dose3: update upstream metadataAlfredo Tupone2022-12-051-1/+1
* dev-ml/camlbz2: update upstream metadataAlfredo Tupone2022-12-051-1/+1
* dev-ml/lablgtk: add github upstream metadataAlfredo Tupone2022-12-051-5/+8