Cyril Cohen
9ffd16b385
coqPackages: refactor
2021-01-09 11:56:17 +01:00
Vincent Laporte
7ff870779a
ocamlPackages.csexp: use Dune 2
2021-01-08 08:35:00 +01:00
sternenseemann
a8be20b31c
ocamlPackages.ppx_tools_versioned: use dune 2
2021-01-07 10:47:25 +01:00
Vincent Laporte
90d4109c23
ocamlPackages.lwt_ppx: 2.0.1 → 2.0.2
2021-01-07 08:40:26 +01:00
Vincent Laporte
331186b9ac
ocamlPackages.bitstring: 3.1.1 → 4.0.1
...
ocamlPackages.ppx_bitsring: init at 4.0.1
2021-01-07 07:43:29 +01:00
Vincent Laporte
ccc474d77b
ocamlPackages.bisect_ppx: 1.4.0 → 2.5.0
2021-01-06 07:35:23 +01:00
Vincent Laporte
bd31e66778
ocamlPackages.bisect_ppx-ocamlbuild: remove at 1.4.0
...
This package is no longer maintained.
2021-01-06 07:35:23 +01:00
Vincent Laporte
6b0396351e
ocamlPackages.lambdaTerm: 2.0.3 → 3.1.0
...
ocamlPackages.utop: 2.4.3 → 2.6.0
2021-01-05 18:23:20 +01:00
Vincent Laporte
321c46c6e8
ocamlPackages.mew_vi: init at 0.5.0
...
This is a vi-like modal editing engine generator.
2021-01-05 18:23:20 +01:00
Vincent Laporte
343eb4dc37
ocamlPackages.mew: init at 0.1.0
...
A general modal editing engine generator
2021-01-05 18:23:20 +01:00
Vincent Laporte
a2dfc892da
ocamlPackages.trie: init at 1.0.0
...
Strict impure trie tree in OCaml
2021-01-05 18:23:20 +01:00
sternenseemann
412450dcd7
ocamlPackages.mirage-crypto*: 0.8.7 -> 0.8.8
...
New package: ocamlPackages.mirage-crypto-rng-async
2021-01-05 08:55:31 +01:00
sternenseemann
a080e9b9ff
ocamlPackages.ppx_import: use dependencies as listed in opam file
2021-01-04 22:10:08 +01:00
sternenseemann
174267e601
ocamlPackages.ppx_blob: 0.7.1 -> 0.7.2
2021-01-04 09:50:06 +01:00
Vincent Laporte
b8087628db
ocamlPackages.csv: use Dune 2
2021-01-04 09:03:01 +01:00
sternenseemann
fc20aedc9e
ocamlPackages.ocaml-monadic: use dune 2
2021-01-03 11:35:18 +01:00
sternenseemann
1c52824fed
ocamlPackages.sedlex_2: 2.1 -> 2.2
...
* use dune 2
* refactor fetching of dependencies (reduce duplication)
* remove dune rule for data files before building since dune 2 doesn't
like the symlinked data files if the rule is present
2021-01-02 10:00:16 +01:00
Vincent Laporte
f134db16bd
ocamlPackages.zarith: 1.10 → 1.11
2021-01-02 09:52:25 +01:00
Sandro
933a1d96df
Merge pull request #108166 from sternenseemann/mirage-ventif-fix-maintainers
...
ocamlPackages.mirage-vnetif: fix typo in meta set
2021-01-01 23:08:17 +01:00
sternenseemann
d5778bcb6c
ocamlPackages.jingoo: 1.4.1 -> 1.4.2
...
also use dune 2 from now on.
2021-01-01 22:06:38 +01:00
sternenseemann
68e9bbb416
ocamlPackages.mirage-vnetif: fix typo in meta set
2021-01-01 21:54:29 +01:00
Emery Hemingway
9b2ddc9ad0
ocamlPackages.irmin-chunk: init at 2.2.0
2020-12-31 15:00:26 +01:00
Emery Hemingway
e816a60349
ocamlPackages.mirage-block-unix: init at 2.12.1
2020-12-31 11:01:09 +01:00
Emery Hemingway
13eede3e66
ocamlPackages.mirage-block-ramdisk: init at 0.5
2020-12-30 18:07:07 +01:00
Emery Hemingway
30a2817831
ocamlPackages.mirage-block-combinators: init at 2.0.1
2020-12-30 18:01:42 +01:00
Emery Hemingway
3d7d7b8af3
ocamlPackages.diet: init at 0.4
2020-12-30 17:55:30 +01:00
sternenseemann
caf07b0ebf
ocamlPackages.mirage: reintroduce dev output
...
The changed dune install directive to install libraries to the dev
output was removed by mistake.
2020-12-30 17:52:00 +01:00
sternenseemann
7b968c79a1
ocamlPackages.syslog-message: init at 1.1.0
2020-12-30 16:24:11 +01:00
John Ericson
ad62a26d91
Merge pull request #107928 from sternenseemann/ocaml-mirage-console-4.0.0
...
ocamlPackages.mirage-console: 3.0.2 -> 4.0.0 and add -unix package
2020-12-29 23:15:56 -05:00
John Ericson
cc523b938f
Merge pull request #107914 from sternenseemann/ocaml-mirage-fix
...
ocamlPackages.mirage: fix build by adding missing deps
2020-12-29 23:14:38 -05:00
John Ericson
78c4e34f69
Merge pull request #107922 from sternenseemann/tcpip-6.0.0
...
ocamlPackages.tcpip: init at 6.0.0 (plus init required dependencies)
2020-12-29 23:13:58 -05:00
sternenseemann
eac6fcc16c
ocamlPackages.mirage-console-unix: init at 4.0.0
2020-12-30 01:12:38 +01:00
sternenseemann
b15ba2369f
ocamlPackages.mirage-console: 3.0.2 -> 4.0.0
2020-12-30 01:12:37 +01:00
sternenseemann
459da0525a
ocamlPackages.mirage-nat: init at 2.2.3
2020-12-30 00:20:28 +01:00
sternenseemann
33b6e32d77
ocamlPackages.tcpip: init at 6.0.0
2020-12-29 23:50:38 +01:00
sternenseemann
fa3da94dd5
ocamlPackages.arp: init at 2.3.1
2020-12-29 23:50:38 +01:00
sternenseemann
9e3040ef41
ocamlPackages.pcap-format: init at 0.5.2
2020-12-29 23:50:37 +01:00
sternenseemann
ba66c5b87d
ocamlPackages.mirage-vnetif: init at 0.5.0
2020-12-29 23:50:37 +01:00
sternenseemann
2446dfa5fc
ocamlPackages.mirage-random-test: init at 0.1.0
2020-12-29 23:50:37 +01:00
sternenseemann
9a56ba8781
ocamlPackages.ethernet: init at 2.2.0
2020-12-29 23:50:37 +01:00
sternenseemann
697e5e8346
ocamlPackages.lwt-dllist: init at 1.0.0
2020-12-29 23:50:37 +01:00
sternenseemann
bca81534f0
ocamlPackages.mirage: fix build by adding missing deps
...
Previously the mirage library/package wouldn't be built/installed
correctly due to missing deps which I now added as specified in the opam
file. While I was at it, I also enabled tests.
2020-12-29 22:47:41 +01:00
sternenseemann
b1c18d0fc6
ocamlPackages.dns*: add missing related packages
...
* dns-certify
* dns-cli
* dns-mirage
* dns-resolver
* dns-server
* dns-stub
* dns-tsig
2020-12-29 22:22:38 +01:00
freezeboy
722c01a9e8
ocamlPackages.camlzip: 1.07 -> 1.10
2020-12-29 10:02:47 +01:00
sternenseemann
145c2dd515
ocamlPackages.ounit(2): 2.2.3 -> 2.2.4
...
also enable tests
2020-12-26 08:12:29 +01:00
sternenseemann
926a1b2094
ocamlPackages.opam-format: use dune 2
2020-12-21 10:06:32 +01:00
sternenseemann
69e614e77f
ocamlPackages.opam-repository: use dune 2
2020-12-21 09:46:35 +01:00
sternenseemann
04cbb60e62
ocamlPackages.opam-state: use dune 2
2020-12-21 09:46:34 +01:00
Vincent Laporte
b75cb8a97d
ocamlPackages.ppxlib: fix evaluation
2020-12-19 23:03:44 +01:00
Mario Rodas
e1e45a40f2
ocamlPackages.ocaml-lsp: 1.1.0 -> 1.4.0
2020-12-19 17:37:42 +01:00
