~ruther/guix-local

ref: 4a663ca4e8b5ded9a3d92870fba8f2ebde22d75a guix-local/gnu/packages/ocaml.scm -rw-r--r-- 22.0 KiB
b8137825 — Mark H Weaver 10 years ago 
Merge branch 'master' into core-updates
fd5b2133 — Efraim Flashner 10 years ago 
Correct "Revert "gnu: camlp4: Remove extra input.""

This corrects a typo in 0d1c0660d7b446188b36f19d0dd79d8f97bd4360.
0d1c0660 — Efraim Flashner 10 years ago 
Revert "gnu: camlp4: Remove extra input."

This reverts commit d04efa0fff908de0f8822a27582b4b1c3dcae553.
319fe79d — Mark H Weaver 10 years ago 
Merge branch 'master' into core-updates
d04efa0f — Efraim Flashner 10 years ago 
gnu: camlp4: Remove extra input.

* gnu/packages/ocaml.scm (camlp4)[inputs]: Removed duplicate "ocaml"
  entry from native-inputs.
3573b634 — Andreas Enge 10 years ago 
gnu: Add LablGtk.

* gnu/packages/ocaml.scm (lablgtk): New variable.
006faa35 — Andreas Enge 10 years ago 
gnu: camlp4: Update to 4.02+6.

* gnu/packages/ocaml.scm (camlp4): Update to 4.02+6.
d4bf3dac — Andreas Enge 10 years ago 
gnu: camlp5: Update to 6.14.

* gnu/packages/ocaml.scm (camlp5): Update to 6.14.
b9d8756b — Andreas Enge 10 years ago 
gnu: Add unison.

* gnu/packages/ocaml.scm (unison): New variable.
be78e52c — Andreas Enge 10 years ago 
gnu: ocaml: Update to 4.02.3.

* gnu/packages/ocaml.scm (ocaml): Update to 4.02.3.
492ee988 — Ludovic Courtès 10 years ago 
gnu: Add Camlp4.

* gnu/packages/ocaml.scm (camlp4): New variable.
1b4e48d4 — Mark H Weaver 10 years ago 
Merge branch 'master' into core-updates
e881752c — Alex Kost 10 years ago 
gnu packages: Clean up synopses and descriptions.

* gnu/packages/admin.scm, gnu/packages/algebra.scm, gnu/packages/audio.scm,
  gnu/packages/backup.scm, gnu/packages/base.scm, gnu/packages/bittorrent.scm,
  gnu/packages/code.scm, gnu/packages/compression.scm,
  gnu/packages/databases.scm, gnu/packages/enchant.scm,
  gnu/packages/firmware.scm, gnu/packages/fonts.scm,
  gnu/packages/freedesktop.scm, gnu/packages/games.scm, gnu/packages/gd.scm,
  gnu/packages/gl.scm, gnu/packages/gnome.scm, gnu/packages/gsasl.scm,
  gnu/packages/gstreamer.scm, gnu/packages/gtk.scm, gnu/packages/guile.scm,
  gnu/packages/haskell.scm, gnu/packages/language.scm,
  gnu/packages/lesstif.scm, gnu/packages/libreoffice.scm,
  gnu/packages/linux.scm, gnu/packages/llvm.scm, gnu/packages/maths.scm,
  gnu/packages/mcrypt.scm, gnu/packages/mit-krb5.scm, gnu/packages/mp3.scm,
  gnu/packages/ncdu.scm, gnu/packages/networking.scm, gnu/packages/ntp.scm,
  gnu/packages/ocaml.scm, gnu/packages/openbox.scm, gnu/packages/pdf.scm,
  gnu/packages/perl.scm, gnu/packages/pretty-print.scm,
  gnu/packages/pulseaudio.scm, gnu/packages/python.scm,
  gnu/packages/rdesktop.scm, gnu/packages/rdf.scm, gnu/packages/ruby.scm,
  gnu/packages/slang.scm, gnu/packages/slim.scm, gnu/packages/telephony.scm,
  gnu/packages/tls.scm, gnu/packages/tmux.scm, gnu/packages/tre.scm,
  gnu/packages/unrtf.scm, gnu/packages/version-control.scm,
  gnu/packages/vpn.scm, gnu/packages/web.scm, gnu/packages/wget.scm,
  gnu/packages/xdisorg.scm, gnu/packages/xfce.scm, gnu/packages/xiph.scm:
  Fix typos.  Trim long lines.  Add missing periods in the end of sentences.
  Use double spaces between sentences.  Remove trailing whitespaces.
379d4142 — Mark H Weaver 10 years ago 
gnu: ocaml: Update gcc:lib input to gcc-4.9.

* gnu/packages/ocaml.scm (ocaml)[inputs]: Use gcc:lib from gcc-4.9.
2abf6786 — Mark H Weaver 10 years ago 
Merge branch 'master' into core-updates
2f6d3e41 — Ludovic Courtès 10 years ago 
gnu: ocaml: Don't rely on (gnu packages commencement).

* gnu/packages/ocaml.scm (ocaml)[inputs]: Use (canonical-package gcc-4.8)
  instead of GCC-FINAL.
14928016 — Mark H Weaver 10 years ago 
Merge branch 'master' into core-updates
0705f79c — Mark H Weaver 10 years ago 
gnu: Add proof-general.

* gnu/packages/ocaml.scm (proof-general): New variable.
1973183b — Mark H Weaver 10 years ago 
gnu: Add coq.

* gnu/packages/ocaml.scm (coq): New variable.
d6b7b5ed — Mark H Weaver 10 years ago 
gnu: Add hevea.

* gnu/packages/ocaml.scm (hevea): New variable.
Next