3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

10 commits

Author SHA1 Message Date
Vincent Laporte 7c09dc2d8a ocamlPackages.pprint: 20171003 → 20220103 2022-02-15 07:25:24 +01:00
Felix Buehler 7c784439a2 development/{arduino/compilers/interpreters}: replace name with pname&version 2021-08-21 23:02:55 +02:00
Vincent Laporte 5ca9831cb1 ocamlPackages.menhir: 20190626 → 20210419
ocamlPackages.menhirLib: init at 20210419
ocamlPackages.menhirSdk: init at 20210419
2021-06-05 13:38:01 +02:00
Ben Siraphob acc5f7b18a pkgs/development/compilers: stdenv.lib -> lib 2021-01-23 08:57:37 +07:00
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Vincent Laporte e63e4c11cc
ocamlPackages.mezzo: disable for OCaml ≥ 4.06 2018-08-29 12:49:45 +00:00
Vincent Laporte 4168706d4f OCaml modules: make explicit some dependencies to ocamlbuild 2016-10-09 11:55:19 +02:00
Nicolas B. Pierron 72c6f8a140 Ensure that we can evaluate the platform attribute of ocaml packages. 2016-03-13 19:08:26 +00:00
Vincent Laporte 8897299e8f mezzo: fix build with OCaml-4.02 2015-07-23 21:45:14 +02:00
Vincent Laporte 829c49a686 Adds mezzo
Mezzo is a programming language in the ML tradition, which places strong
emphasis on the control of aliasing and access to mutable memory.

Homepage: http://protz.github.io/mezzo/
2014-09-13 12:26:07 +02:00