R. Ryantm
96bbeb99c5
ocamlPackages.smtml: 0.27.0 -> 0.28.0
2026-05-31 00:51:14 +00:00
R. Ryantm
aa422e0ecf
ocamlPackages.smtml: 0.26.0 -> 0.27.0
2026-05-17 00:17:53 +02:00
Vincent Laporte
e57916398b
ocamlPackages.smtml: 0.25.0 → 0.26.0
2026-04-28 21:51:09 +02:00
R. Ryantm
1f16653b87
ocamlPackages.smtml: 0.24.0 -> 0.25.0
2026-04-18 09:24:43 +02:00
redianthus
281af84a01
owi: 0.2-unstable-2026-01-29 -> 0.2-unstable-2026-03-16
...
ocamlPackages.symex: 0.1 -> 0.2
ocamlPackages.smtml: 0.20.0 -> 0.24.0
2026-03-30 22:09:05 +02:00
StepBroBD
4a9c28f19e
ocamlPackages.smtml: enable bitwuzla support ( #493005 )
2026-02-27 12:40:43 +00:00
redianthus
cb50179cd9
ocamlPackages.smtml: enable bitwuzla support
2026-02-22 12:40:35 +01:00
Vincent Laporte
9aa7cc01ab
ocamlPackages.cmdliner: 1.3.0 → 2.1.0
...
dune-release: 2.1.0 → 2.2.0
ocamlPackages.b0: 0.0.5 → 0.0.6
ocamlPackages.odig: 0.0.9 → 0.1.0
ocamlPackages.mirage-runtime: 4.10.1 → 4.10.2
ocamlPackages.carton: disable tests
ocamlPackages.smtml: disable tests
slipshow: disable some tests
2026-01-30 14:33:59 +01:00
Ethan Carter Edwards
6fe0a59d17
ocamlPackages.smtml: add ngi team
...
smtml and owi (an NGI package) are tightly intertwined and the NGI team
should know about any updates/potential breakages (which are often).
Signed-off-by: Ethan Carter Edwards <ethan@ethancedwards.com >
2026-01-27 20:10:50 -05:00
R. Ryantm
14636de1f2
ocamlPackages.smtml: 0.19.0 -> 0.20.0
2026-01-28 00:33:28 +00:00
R. Ryantm
fdaf831e70
ocamlPackages.smtml: 0.18.0 -> 0.19.0
2026-01-08 13:57:54 +00:00
Vincent Laporte
c5540c2f76
ocamlPackages.smtml: disable for OCaml < 4.14 ( #475075 )
2026-01-05 16:24:51 +00:00
R. Ryantm
da8f43424c
ocamlPackages.smtml: 0.17.0 -> 0.18.0
2025-12-30 00:56:33 +00:00
Vincent Laporte
ba8dfff11d
ocamlPackages.smtml: disable for OCaml < 4.14
2025-12-29 16:31:08 +01:00
redianthus
c949ccb8be
ocamlPackages.smtml: 0.15.0 -> 0.17.0
2025-12-22 15:43:32 +01:00
redianthus
a00ed23c90
ocamlPackages.smtml: 0.13.0 -> 0.15.0
2025-11-24 18:50:24 +01:00
redianthus
1079c21566
ocamlPackages.smtml: 0.12.0 -> 0.13.0
2025-10-28 11:28:22 +01:00
Vincent Laporte
79fef7e3b5
ocamlPackages.smtml: 0.10.0 → 0.12.0
2025-10-20 06:27:57 +02:00
R. Ryantm
da8cdb8c9b
ocamlPackages.smtml: 0.9.0 -> 0.10.0
2025-08-31 02:12:42 +00:00
R. Ryantm
af11cb3982
ocamlPackages.smtml: 0.8.0 -> 0.9.0
2025-08-12 12:45:49 +00:00
zapashcanon
b476baeab6
owi: 0.2-unstable-2025-05-05 → 0.2-unstable-2025-07-08 ( #423496 )
...
ocamlPackages.smtml: 0.7.0 → 0.8.0
owi: remove unneeded deps
2025-07-15 06:23:35 +02:00
Ethan Carter Edwards
5bd7f6e180
ocamlPackages.smtml: init at 0.7.0
...
Signed-off-by: Ethan Carter Edwards <ethan@ethancedwards.com >
2025-06-26 19:25:28 +02:00
