HCoop
/
jackhill
/
guix
/
guix.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
gnu: Add ocaml-bisect.
[jackhill/guix/guix.git]
/
gnu
/
packages
/
ocaml.scm
2017-01-04
Julien Lepiller
gnu: Add ocaml-bisect.
blob
|
commitdiff
|
raw
2017-01-04
Julien Lepiller
gnu: Add ocaml-stringext.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Julien Lepiller
gnu: Add ocaml-qtest.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Julien Lepiller
gnu: Add ocaml-frontc.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Julien Lepiller
gnu: Add ocaml-zarith.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Julien Lepiller
gnu: Add ocamlmod.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Julien Lepiller
gnu: Add camlzip.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Julien Lepiller
gnu: Add ocaml-ounit.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Julien Lepiller
gnu: camlp4: Install camlp4 META file.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Julien Lepiller
gnu: ocaml: Use a helper function to download from...
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Julien Lepiller
gnu: Add ocaml-build-system.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Julien Lepiller
gnu: camlp4: Compile native version.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
David Craven
gnu: ocaml: Fix indentation.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Julien Lepiller
gnu: ocaml: Add CAML_LD_LIBRARY_PATH search-path.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Julien Lepiller
gnu: ocaml: Add a .file directive to generated .s files.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
David Craven
gnu: Reorder imports in (gnu packages ocaml).
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
David Craven
gnu: Use 'license:' prefix in (gnu packages ocaml).
blob
|
commitdiff
|
raw
|
diff to current
2016-12-21
Ricardo Wurmus
Merge branch 'version-0.12.0'
blob
|
commitdiff
|
raw
|
diff to current
2016-12-21
Julien Lepiller
gnu: coq: Build coqide
blob
|
commitdiff
|
raw
|
diff to current
2016-12-21
Julien Lepiller
gnu: lablgtk: use ocamlfind in installation
blob
|
commitdiff
|
raw
|
diff to current
2016-12-21
Julien Lepiller
gnu: lablgtk: Update to 2.18.5
blob
|
commitdiff
|
raw
|
diff to current
2016-12-11
Mark H Weaver
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2016-12-10
David Craven
gnu: Add ocaml-menhir.
blob
|
commitdiff
|
raw
|
diff to current
2016-12-10
David Craven
gnu: coq: Update to 8.5pl2.
blob
|
commitdiff
|
raw
|
diff to current
2016-11-12
Ludovic Courtès
Merge branch 'core-updates'
blob
|
commitdiff
|
raw
|
diff to current
2016-11-07
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-11-06
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-11-03
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-30
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-30
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-30
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-28
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-28
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-28
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-26
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-23
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-19
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-17
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-13
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-12
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-12
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-05
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-10-03
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-09-30
Ludovic Courtès
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-09-16
John Darrington
doc: "filesystem" -> "file system"
blob
|
commitdiff
|
raw
|
diff to current
2016-09-02
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-09-02
Ludovic Courtès
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-09-02
Efraim Flashner
gnu: Use ghostscript over ghostscript-gs.
blob
|
commitdiff
|
raw
|
diff to current
2016-08-29
Efraim Flashner
Merge remote-tracking branch 'origin/master' into core...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-23
Eric Bavier
gnu: opam: Upgrade to 1.2.2.
blob
|
commitdiff
|
raw
|
diff to current
2016-08-23
Eric Bavier
gnu: opam: Use modify-phases.
blob
|
commitdiff
|
raw
|
diff to current
2016-08-04
Mark H Weaver
Merge branch 'core-updates'
blob
|
commitdiff
|
raw
|
diff to current
2016-08-04
Mark H Weaver
Revert "Merge branch 'core-updates'"
blob
|
commitdiff
|
raw
|
diff to current
2016-08-01
Ludovic Courtès
Merge branch 'core-updates'
blob
|
commitdiff
|
raw
|
diff to current
2016-08-01
Andreas Enge
gnu: unison: Add input ghostscript.
blob
|
commitdiff
|
raw
|
diff to current
2016-08-01
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-07-29
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-07-29
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-07-28
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-07-28
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-07-28
Andreas Enge
Merge remote-tracking branch 'origin/master' into core...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-25
Andreas Enge
Merge remote-tracking branch 'origin/master' into core...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-25
Ludovic Courtès
gnu: Use 'ghostscript-gs' in packages that need the...
blob
|
commitdiff
|
raw
|
diff to current
2016-06-13
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-06-12
Orivej Desh
gnu: unison: Install unison-fsmonitor.
blob
|
commitdiff
|
raw
|
diff to current
2016-06-07
Ludovic Courtès
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-05-26
Roel Janssen
gnu: Rename texlive module to tex.
blob
|
commitdiff
|
raw
|
diff to current
2016-05-24
Alex Kost
gnu: Use 'emacs-minimal' instead of 'emacs-no-x'.
blob
|
commitdiff
|
raw
|
diff to current
2016-05-13
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-05-04
Mark H Weaver
Merge branch 'master' into gnome-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-05-02
Leo Famulari
gnu: ocaml: Fix CVE-2015-8869.
blob
|
commitdiff
|
raw
|
diff to current
2016-05-02
Mathieu Lirzin
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-04-14
Alex Kost
gnu: packages: Use 'search-patches' everywhere.
blob
|
commitdiff
|
raw
|
diff to current
2016-02-27
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-02-13
Jan Nieuwenhuizen
gnu: lablgtk: Build cmxa libraries.
blob
|
commitdiff
|
raw
|
diff to current
2016-02-13
Jan Nieuwenhuizen
gnu: ocaml: Set search path.
blob
|
commitdiff
|
raw
|
diff to current
2016-02-13
Jan Nieuwenhuizen
gnu: Add ocaml-findlib.
blob
|
commitdiff
|
raw
|
diff to current
2016-01-19
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2016-01-17
Eric Bavier
gnu: hevea: Update to 2.28.
blob
|
commitdiff
|
raw
|
diff to current
2016-01-17
Eric Bavier
gnu: unison: Add "doc" output.
blob
|
commitdiff
|
raw
|
diff to current
2016-01-03
Ludovic Courtès
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2015-12-26
Leo Famulari
gnu: hevea: Update URL.
blob
|
commitdiff
|
raw
|
diff to current
2015-12-12
Ludovic Courtès
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2015-11-09
David Hashe
gnu: Add gtksourceview.
blob
|
commitdiff
|
raw
|
diff to current
2015-10-31
Ludovic Courtès
Merge branch 'dbus-update'
blob
|
commitdiff
|
raw
|
diff to current
2015-10-31
Ludovic Courtès
gnu: lablgtk: Build sequentially.
blob
|
commitdiff
|
raw
|
diff to current
2015-10-08
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2015-10-08
Efraim Flashner
Correct "Revert "gnu: camlp4: Remove extra input.""
blob
|
commitdiff
|
raw
|
diff to current
2015-10-08
Efraim Flashner
Revert "gnu: camlp4: Remove extra input."
blob
|
commitdiff
|
raw
|
diff to current
2015-10-08
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2015-10-07
Efraim Flashner
gnu: camlp4: Remove extra input.
blob
|
commitdiff
|
raw
|
diff to current
2015-08-23
Andreas Enge
gnu: Add LablGtk.
blob
|
commitdiff
|
raw
|
diff to current
2015-08-23
Andreas Enge
gnu: camlp4: Update to 4.02+6.
blob
|
commitdiff
|
raw
|
diff to current
2015-08-23
Andreas Enge
gnu: camlp5: Update to 6.14.
blob
|
commitdiff
|
raw
|
diff to current
2015-08-23
Andreas Enge
gnu: Add unison.
blob
|
commitdiff
|
raw
|
diff to current
2015-08-23
Andreas Enge
gnu: ocaml: Update to 4.02.3.
blob
|
commitdiff
|
raw
|
diff to current
2015-07-21
Ludovic Courtès
gnu: Add Camlp4.
blob
|
commitdiff
|
raw
|
diff to current
2015-07-19
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2015-07-18
Alex Kost
gnu packages: Clean up synopses and descriptions.
blob
|
commitdiff
|
raw
|
diff to current
2015-06-21
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
next