nixpkgs/pkgs/development
Vincent Laporte cc012b227f ocamlPackages.functoria: init at 2.0.2
Functoria is a DSL to describe a set of modules and functors, their
types and how to apply them in order to produce a complete application.

Homepage: https://github.com/mirage/functoria
2017-03-17 02:39:15 +00:00
..
arduino
beam-modules buildRebar3: fix buildPhase & cleanup (#22744) 2017-02-18 14:25:24 +01:00
bower-modules/generic
compilers openjdk-darwin: use a sensible crypto policy 2017-03-15 16:37:57 -04:00
coq-modules coqPackages.interval: 2.2.1 -> 3.1.1 2017-02-11 14:02:19 +01:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules buildGoModule: share the buildFlagsArray with the parallel subprocesses 2017-03-15 11:00:55 -04:00
guile-modules guile rev-deps: fix build by adding pkgconfig 2017-02-18 08:23:07 +01:00
haskell-modules servant-auth-server, servant-swagger: enable hydra build 2017-03-16 15:13:04 +01:00
idris-modules
interpreters clips: init at 6.30 2017-03-16 00:05:02 +02:00
java-modules javaPackages: Use artifactId/groupId 2017-02-13 18:40:13 -05:00
libraries qtmultimedia-5.7: disable alsa on darwin 2017-03-16 23:15:44 -03:00
lisp-modules lispPackages.clx: git-20150117 -> git-20170201 2017-02-05 13:03:03 +01:00
lua-modules
misc
mobile xcodeenv, titaniumenv: fix IPA builds by granting codesign the right permissions 2017-01-27 10:50:36 +01:00
node-packages nodePackages: support github:owner/repo scheme for package deps 2017-03-12 16:00:13 +01:00
ocaml-modules ocamlPackages.functoria: init at 2.0.2 2017-03-17 02:39:15 +00:00
perl-modules
pharo Remove myself from maintainers 2017-01-31 11:00:14 +01:00
pure-modules purePackages.octave: 0.7 -> 0.9 2017-03-13 11:03:52 +01:00
python-modules pythonPackages.pycassa: fix evaluation 2017-03-16 19:43:28 +00:00
qtcreator qtcreator: 4.2.0 -> 4.2.1 2017-02-03 17:48:17 +03:00
r-modules r-modules: update CRAN package set 2017-03-07 14:56:46 +01:00
ruby-modules bundler: 1.14.4 -> 1.14.6 (#23930) 2017-03-15 20:34:35 +00:00
tools jshon: fix null termination in read_stream. 2017-03-16 18:32:04 +01:00
web nodejs: 7.7.1 -> 7.7.2 2017-03-10 21:54:49 -05:00