nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-22 21:53:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
162,918 Commits 180 Branches 125 Tags 8.3 GiB
b63df3f2e0
Commit Graph

274 Commits

Author SHA1 Message Date
Vincent Laporte
b6ca91fba5 ocamlPackages.elina: init at 1.1 
ELINA contains optimized implementations of popular numerical abstract domains
such as Polyhedra, Octagon and Zones for static analysis.

homepage: http://elina.ethz.ch/
 2018-12-16 08:54:51 +00:00
Vincent Laporte
113a7562fe ocamlPackages.lablgtk3: init at 3.0.beta1 2018-12-13 09:09:09 +00:00
Vincent Laporte
1a04bd4414 ocamlPackages.checkseum: init at 0.0.3 
Chekseum is an OCaml library which implements ADLER-32 and CRC32C Cyclic
Redundancy Check. It provides 2 implementation, the first in C and the
second in OCaml.

Homepage: https://github.com/mirage/checkseum
 2018-12-11 08:12:27 +00:00
Vincent Laporte
e9b43adab7 ocamlPackages.optint: init at 0.0.2 
This library provide one module Optint which internally uses an int if
you are in a x64 architecture or an int32 (boxed value) if you are in a
x86 architecture.

Homepage: https://github.com/mirage/optint
 2018-12-11 08:12:27 +00:00
Jörg Thalheim
1388223456
Merge pull request #51276 from nomeata/ocaml-bisect 
Add bisect_ppx and bisect_ppx-ocamlbuild
 2018-12-02 23:44:41 +00:00
Magnus Jonsson
d23acab3a3 ocamlPackages.opti: init at 1.0.3 2018-12-01 19:00:23 -08:00
Joachim Breitner
7621523fc1 Add bisect_ppx and bisect_ppx-ocamlbuild 2018-11-30 12:57:01 +01:00
Vincent Laporte
e481df83b1 ocamlPackages.camlp5: 7.06 -> 7.07 
Keeping the legacy (7.06) version around, needed by hol_light
 2018-11-21 05:59:49 +00:00
Jörg Thalheim
8debc01cb4
Merge pull request #49822 from marsam/feature/update-flow 
flow: 0.80.0 -> 0.85.0
 2018-11-07 15:05:57 +00:00
Théo Zimmermann
794158fcd5
buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
Mario Rodas
36efe7b3aa ocamlPackages.visitors: init at 20171124 2018-11-06 08:06:11 -05:00
Jörg Thalheim
b5ad615474
verasco: remove unmaintained project 
Verasco is no longer maintained by upstream and blocks updates of some libraries.
Removing it also makes it possible to remove coq 8.4.
 2018-10-30 13:31:11 +00:00
Vincent Laporte
80bb1db72c
ocamlPackages.menhir: 20170712 -> 20181026 2018-10-28 15:30:49 +00:00
Mateusz Czapliński
98d4e42145 ocamlPackages.zmq: init at 20180726 2018-10-22 06:51:17 +00:00
Théo Zimmermann
2fdd38ed2d
camlp5_transitional: remove in favor of camlp5 (strict) 2018-10-10 19:44:54 +02:00
Théo Zimmermann
eaf0de5985
ulex: remove version 0.8 2018-10-10 19:42:54 +02:00
Théo Zimmermann
c76ffb9253
matita: remove broken package 
As requested by Vincent Laporte.
 2018-10-09 09:47:31 +02:00
Théo Zimmermann
0f8ef669ac
ocamlPackages_3_12_1: remove 2018-10-08 21:10:05 +02:00
Théo Zimmermann
34394a38ef
ocamlPackages_3_11_2: remove 
This requires removing also the Coq 8.3 and Matita 0.5.8 packages.

Coq 8.3 was released 8 years ago (2010) and there is no trace left
of users of this version (contrary to Coq 8.4, released 2012).
It is well over time to remove it.

Matita 0.5.8 was released in 2010 and because this version was still
used for teaching according to the official website, a legacy release
(0.5.9) was released in 5 years later to compile with more recent
OCaml libraries.
Updating to 0.5.9 (or a more recent version like 0.99.3) should allow
getting rid of the dependency on older OCaml but it is hard to test
given that the package is already broken before this update.
 2018-10-08 21:10:05 +02:00
Théo Zimmermann
62cf2840bd
ocamlPackages_3_10_0: remove 2018-10-08 21:10:05 +02:00
Théo Zimmermann
3d683f33f3
ocamlPackages_3_08_0: remove 2018-10-08 21:10:04 +02:00
Théo Zimmermann
cf1f8b2d04
camlp5: remove old version 5.15 2018-10-08 21:09:59 +02:00
Vincent Laporte
bdaedbe38c ocamlPackages.ocaml_lwt: 3.3.0 -> 4.1.0 2018-10-08 05:59:24 +00:00
Marco Maggesi
9a5f7b1630 hol_light: 2017-07-06 -> 2018-09-30 
Also handle compatibility with newer version of OCaml (depend on num
library as needed).
 2018-10-06 15:49:09 +00:00
Carlos D'Agostino
364d477236 ocamlPackages.ezxmlm: init at 1.0.2 2018-10-06 14:18:51 +00:00
Vincent Laporte
c8f3e0f118 ocamlPackages.elpi: init at 1.0.5 2018-09-27 17:41:12 +00:00
Vincent Laporte
cbc609ca8c ocamlPackages.odoc: init at 1.2.0 2018-09-24 05:08:37 +00:00
Vincent Laporte
886acaff11 ocamlPackages.doc-ock-xml: init at 1.2.1 2018-09-24 05:08:37 +00:00
Vincent Laporte
41f06396cc ocamlPackages.doc-ock-html: init at 1.2.1 2018-09-24 05:08:37 +00:00
Vincent Laporte
55ef56b260 ocamlPackages.doc-ock: init at 1.2.1 2018-09-24 05:08:37 +00:00
Vincent Laporte
26aa4c36ba
ocamlPackages.erm_xmpp: 0.3 -> 0.3+20180112 2018-09-21 17:04:23 +00:00
Vincent Laporte
f0a0ccabcc
ocamlPackages.seq: init at 0.1 2018-09-05 17:12:13 +00:00
John Ericson
2c4a75e9ef
Merge pull request #45820 from obsidiansystems/dont-use-obsolete-platform-aliases 
treewide: Dont use obsolete platform aliases
 2018-08-31 09:56:10 -04:00
John Ericson
2c2f1e37d4 reewide: Purge all uses stdenv.system and top-level system 
It is deprecated and will be removed after 18.09.
 2018-08-30 17:20:32 -04:00
Vincent Laporte
474c0aa221
ocamlPackages: default to 4.06 2018-08-29 12:49:46 +00:00
Vincent Laporte
bdaec23d14
ocamlPackages.ocaml_extlib_maximal: remove at 1.7.5 2018-08-29 12:49:45 +00:00
Ivan Jager
ef98b96356 atd: 1.12.0 -> 2.0.0 (#45046) 
atdgen is now part of atd
 2018-08-15 10:45:42 +02:00
Vincent Laporte
be989c7af4 ocamlPackages.javalib: 2.3.4 -> 2.3.5 (#45016) 2018-08-14 14:53:30 +02:00
Vincent Laporte
26213bc990
stog: 0.17.0 -> 0.18.0 2018-07-29 13:32:10 +00:00
Vincent Laporte
d6a60a7e91
ocamlPackages.labltk: init at 8.06 (#43963) 
LablTk is an OCaml interface to the Tcl/Tk GUI framework.

homepage: http://labltk.forge.ocamlcore.org/
 2018-07-29 08:35:35 +00:00
Vincent Laporte
1747b29a4c ocamlPackages.httpaf: init at 0.4.1 
http/af is a high-performance, memory-efficient, and scalable web server for
OCaml.

Homepage: https://github.com/inhabitedtype/httpaf
 2018-07-29 07:47:21 +00:00
Vincent Laporte
96b9fdaa35 ocamlPackages.bigstringaf: init at 0.3.0 
Bigstring intrinsics and fast blits based on memcpy/memmove

homepage: https://github.com/inhabitedtype/bigstringaf
 2018-07-29 07:47:21 +00:00
Vincent Laporte
0c4daae16a
ocamlPackages.ppx_sqlexpr: init at 0.9.0 2018-07-28 14:16:47 +00:00
Fatih Altinok
8d03816ed0
ocamlPackages.ppx_gen_rec: init at 1.0.0 2018-07-23 14:01:50 +00:00
Vincent Laporte
6ca8f06b5b ocaml-4.07: 4.07.0+rc1 -> 4.07.0 2018-07-23 07:24:25 +00:00
volth
52f53c69ce pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
xeji
ebdb6edad7
Merge pull request #43440 from vbgl/ocaml-lwt_log-1.0.0 
ocamlPackages.lwt_log: init at 1.0.0
 2018-07-14 00:25:55 +02:00
Vincent Laporte
ade8242b81 ocamlPackages.ezjsonm: 0.4.3 -> 0.6.0 2018-07-13 16:21:33 +00:00
Vincent Laporte
5a7ab721b4
ocamlPackages.lwt_log: init at 1.0.0 2018-07-12 21:26:00 +00:00
Vincent Laporte
de1a8ddb3c
ocamlPackages.iri: init at 0.4.0 
iri is an OCaml implementation of Internationalized Resource Identifiers
(IRIs).

Homepage: https://framagit.org/zoggy/ocaml-iri
 2018-07-09 17:15:43 +00:00