aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
Commit message (Collapse)AuthorAge
* gnu: Remove ".git" from "https://github/…/….git".Ludovic Courtès2020-07-12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Until now, 'lookup-origin' and thus 'lookup-origin-revision' in (guix swh) would sometimes return #f for these because the ".git" URLs are redirects to the non-".git" URLs. Consequently, 'guix lint -c archival' would keep saying "scheduled Software Heritage archival"; likewise, the fallback download code would fail. * gnu/packages/ada.scm, gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm, gnu/packages/android.scm, gnu/packages/animation.scm, gnu/packages/arcan.scm, gnu/packages/assembly.scm, gnu/packages/audio.scm, gnu/packages/authentication.scm, gnu/packages/avr.scm, gnu/packages/axoloti.scm, gnu/packages/backup.scm, gnu/packages/bash.scm, gnu/packages/benchmark.scm, gnu/packages/bioconductor.scm, gnu/packages/bioinformatics.scm, gnu/packages/bittorrent.scm, gnu/packages/boost.scm, gnu/packages/build-tools.scm, gnu/packages/c.scm, gnu/packages/calendar.scm, gnu/packages/cdrom.scm, gnu/packages/check.scm, gnu/packages/chemistry.scm, gnu/packages/chez.scm, gnu/packages/clojure.scm, gnu/packages/code.scm, gnu/packages/compression.scm, gnu/packages/compton.scm, gnu/packages/coq.scm, gnu/packages/cpp.scm, gnu/packages/cran.scm, gnu/packages/crypto.scm, gnu/packages/curl.scm, gnu/packages/databases.scm, gnu/packages/datastructures.scm, gnu/packages/debug.scm, gnu/packages/disk.scm, gnu/packages/distributed.scm, gnu/packages/django.scm, gnu/packages/dlang.scm, gnu/packages/dns.scm, gnu/packages/docker.scm, gnu/packages/education.scm, gnu/packages/efi.scm, gnu/packages/elixir.scm, gnu/packages/emacs-xyz.scm, gnu/packages/embedded.scm, gnu/packages/emulators.scm, gnu/packages/engineering.scm, gnu/packages/erlang.scm, gnu/packages/fabric-management.scm, gnu/packages/file-systems.scm, gnu/packages/finance.scm, gnu/packages/firmware.scm, gnu/packages/flashing-tools.scm, gnu/packages/fonts.scm, gnu/packages/fontutils.scm, gnu/packages/fpga.scm, gnu/packages/game-development.scm, gnu/packages/games.scm, gnu/packages/genealogy.scm, gnu/packages/genimage.scm, gnu/packages/geo.scm, gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/gnome-xyz.scm, gnu/packages/gnome.scm, gnu/packages/gnuzilla.scm, gnu/packages/golang.scm, gnu/packages/gpodder.scm, gnu/packages/graph.scm, gnu/packages/graphics.scm, gnu/packages/graphviz.scm, gnu/packages/groff.scm, gnu/packages/groovy.scm, gnu/packages/gtk.scm, gnu/packages/guile-xyz.scm, gnu/packages/guile.scm, gnu/packages/hardware.scm, gnu/packages/haskell-apps.scm, gnu/packages/haskell-xyz.scm, gnu/packages/hexedit.scm, gnu/packages/i2p.scm, gnu/packages/ibus.scm, gnu/packages/image-processing.scm, gnu/packages/image-viewers.scm, gnu/packages/image.scm, gnu/packages/ipfs.scm, gnu/packages/java-graphics.scm, gnu/packages/java-maths.scm, gnu/packages/java.scm, gnu/packages/javascript.scm, gnu/packages/jrnl.scm, gnu/packages/julia.scm, gnu/packages/jupyter.scm, gnu/packages/kodi.scm, gnu/packages/language.scm, gnu/packages/lego.scm, gnu/packages/less.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm, gnu/packages/lirc.scm, gnu/packages/lisp-xyz.scm, gnu/packages/llvm.scm, gnu/packages/logging.scm, gnu/packages/lolcode.scm, gnu/packages/lua.scm, gnu/packages/lxde.scm, gnu/packages/lxqt.scm, gnu/packages/machine-learning.scm, gnu/packages/mail.scm, gnu/packages/markup.scm, gnu/packages/maths.scm, gnu/packages/maven.scm, gnu/packages/mes.scm, gnu/packages/messaging.scm, gnu/packages/monitoring.scm, gnu/packages/mpd.scm, gnu/packages/music.scm, gnu/packages/networking.scm, gnu/packages/node-xyz.scm, gnu/packages/ocaml.scm, gnu/packages/ocr.scm, gnu/packages/onc-rpc.scm, gnu/packages/opencl.scm, gnu/packages/opencog.scm, gnu/packages/pantheon.scm, gnu/packages/password-utils.scm, gnu/packages/patchutils.scm, gnu/packages/pdf.scm, gnu/packages/perl6.scm, gnu/packages/phabricator.scm, gnu/packages/popt.scm, gnu/packages/printers.scm, gnu/packages/prolog.scm, gnu/packages/protobuf.scm, gnu/packages/pulseaudio.scm, gnu/packages/python-crypto.scm, gnu/packages/python-web.scm, gnu/packages/python-xyz.scm, gnu/packages/qt.scm, gnu/packages/radio.scm, gnu/packages/rails.scm, gnu/packages/rdf.scm, gnu/packages/rednotebook.scm, gnu/packages/rpc.scm, gnu/packages/rsync.scm, gnu/packages/ruby.scm, gnu/packages/rust.scm, gnu/packages/scheme.scm, gnu/packages/screen.scm, gnu/packages/security-token.scm, gnu/packages/selinux.scm, gnu/packages/serialization.scm, gnu/packages/shells.scm, gnu/packages/shellutils.scm, gnu/packages/simh.scm, gnu/packages/sml.scm, gnu/packages/ssh.scm, gnu/packages/statistics.scm, gnu/packages/stenography.scm, gnu/packages/sync.scm, gnu/packages/syncthing.scm, gnu/packages/synergy.scm, gnu/packages/telephony.scm, gnu/packages/terminals.scm, gnu/packages/tex.scm, gnu/packages/texinfo.scm, gnu/packages/text-editors.scm, gnu/packages/textutils.scm, gnu/packages/time.scm, gnu/packages/tmux.scm, gnu/packages/tor.scm, gnu/packages/toys.scm, gnu/packages/version-control.scm, gnu/packages/video.scm, gnu/packages/vim.scm, gnu/packages/virtualization.scm, gnu/packages/vlang.scm, gnu/packages/vnc.scm, gnu/packages/vpn.scm, gnu/packages/web-browsers.scm, gnu/packages/web.scm, gnu/packages/wireservice.scm, gnu/packages/wm.scm, gnu/packages/wxwidgets.scm, gnu/packages/xdisorg.scm, gnu/packages/xml.scm, gnu/packages/xorg.scm, tests/lint.scm: Remove trailing ".git" from 'git-reference' URL.
* gnu: ocaml4.07-piqi: Don't use unstable tarball.Efraim Flashner2020-06-24
| | | | | | * gnu/packages/ocaml.scm (ocaml4.07-piqi)[source]: Download using git-fetch. [arguments]: Add custom phase to make files writable.
* gnu: ocaml-extlib: Update to 1.7.7.Tobias Geerinckx-Rice2020-06-03
| | | | | * gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.7. [source]: Update TLD.
* gnu: camlp5: Update to 7.12.Tobias Geerinckx-Rice2020-06-03
| | | | * gnu/packages/ocaml.scm (camlp5): Update to 7.12.
* gnu: hevea: Update to 2.34.Tobias Geerinckx-Rice2020-05-20
| | | | * gnu/packages/ocaml.scm (hevea): Update to 2.34.
* gnu: bap: Update to 2.0.0.Julien Lepiller2020-05-16
| | | | * gnu/packages/ocaml.scm (bap): Update to 2.0.0.
* gnu: ocaml-ocurl: Update to 0.9.1.Julien Lepiller2020-05-15
| | | | * gnu/packages/ocaml.scm (ocaml-ocurl): Update to 0.9.1.
* gnu: ocaml-fileutils: Update to 0.6.2.Julien Lepiller2020-05-15
| | | | * gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.2.
* gnu: ocaml-octavius: Update to 1.2.2.Julien Lepiller2020-05-15
| | | | * gnu/packages/ocaml.scm (ocaml-octavius): Update to 1.2.2.
* gnu: ocamlify: Fix grammar of "allows to create" to "creates".Vagrant Cascadian2020-04-12
| | | | * gnu/packages/ocaml (ocamlify): Fix grammar.
* gnu: ocaml-mtime: Fix grammar "allows to measure" to "measures".Vagrant Cascadian2020-04-12
| | | | * gnu/packages/ocaml (ocaml-mtime): Fix grammar.
* gnu: ocaml-qcheck: Fix grammar of "allows to check" to "checks".Vagrant Cascadian2020-04-12
| | | | * gnu/packages/ocaml (ocaml-qcheck): Fix grammar.
* gnu: ocaml-menhir: Update to 20190626.Julien Lepiller2020-04-04
| | | | * gnu/packages/ocaml.scm (ocaml-menhir): Update to 20190626.
* gnu: ocaml-sedlex: Use HTTPS home page.Tobias Geerinckx-Rice2020-03-21
| | | | * gnu/packages/ocaml.scm (ocaml-sedlex)[home-page]: Use HTTPS.
* gnu: ocaml-tsdl: Update to 0.9.7.Tobias Geerinckx-Rice2020-03-21
| | | | | | * gnu/packages/ocaml.scm (ocaml-tsdl): Update to 0.9.7. [native-inputs]: Remove ocaml-ocb-stubblr. [inputs]: Remove ocaml-result.
* gnu: ocaml-tsdl: Use HTTPS home page.Tobias Geerinckx-Rice2020-03-21
| | | | * gnu/packages/ocaml.scm (ocaml-tsdl)[home-page]: Use HTTPS.
* gnu: camlp5: Update home page.Tobias Geerinckx-Rice2020-03-19
| | | | * gnu/packages/ocaml.scm (camlp5)[home-page]: Update.
* gnu: camlzip: Update home page.Tobias Geerinckx-Rice2020-03-19
| | | | * gnu/packages/ocaml.scm (camlzip)[home-page]: Update.
* gnu: lablgtk: Update to 2.18.10.Tobias Geerinckx-Rice2020-03-19
| | | | * gnu/packages/ocaml.scm (lablgtk): Update to 2.18.10.
* gnu: ocaml-mccs: Use HTTPS home page.Tobias Geerinckx-Rice2020-02-29
| | | | * gnu/packages/ocaml.scm (ocaml-mccs)[home-page]: Use HTTPS.
* gnu: hevea: Update to 2.33.Tobias Geerinckx-Rice2020-02-23
| | | | * gnu/packages/ocaml.scm (hevea): Update to 2.33.
* gnu: camlp5: Update to 7.11.Tobias Geerinckx-Rice2020-02-16
| | | | * gnu/packages/ocaml.scm (camlp5): Update to 7.11.
* gnu: ocaml-ctypes: Don't use unstable tarball.Efraim Flashner2020-01-28
| | | | | * gnu/packages/ocaml.scm (ocaml-ctypes)[source]: Download using git-fetch. [arguments]: Add phase to make files writable.
* gnu: ocaml-ocplib-endian: Don't use unstable tarball.Efraim Flashner2020-01-28
| | | | | * gnu/packages/ocaml.scm (ocaml-ocplib-endian)[source]: Download using git-fetch.
* gnu: ocaml-lwt: Don't use unstable tarball.Efraim Flashner2020-01-28
| | | | * gnu/packages/ocaml.scm (ocaml-lwt)[source]: Download using git-fetch.
* gnu: ocaml: Switch to ocaml 4.09 by default.Julien Lepiller2020-01-27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Bap and earley cannot be updated as they do not support 4.09 yet. Bap requires the janestreet packages, which cannot be upgraded as no version supports 4.09 and 4.07 at the same time. Moreover, newer versions of the janestreet packages have a different dependency graph, which will require a whole new set of packages. We cannot simply use package-with-ocaml4.07 on them. * gnu/packages/ocaml.scm (ocaml-sqlite3, ocaml-ppx-tools, ocaml-gen) (ocaml-sedlex, ocaml-pcre, ocaml-expect, ocaml-ezjsonm, ocaml-uri) (ocaml-piqilib, ocaml-piqi, ocaml-charinfo-width, ocaml-zed) (ocaml-lambda-term, ocaml-utop, ocaml-ppx-inline-test, ocaml-earley) (ocaml-merlin, ocaml-gsl, ocaml-gsl-1, ocaml-sexplib0, ocaml-parsexp) (ocaml-sexplib, ocaml-base, ocaml-stdio, ocaml-ppxlib, ocaml-ppx-compare) (ocaml-fieldslib, ocaml-variantslib, ocaml-ppx-fields-conv) (ocaml-ppx-sexp-conv, ocaml-ppx-variants-conv, ocaml-ppx-custom-printf) (ocaml-bin-prot, ocaml-ppx-hash, ocaml-ppx-enumerate, ocaml-ppx-bench) (ocaml-ppx-here, ocaml-ppx-typerep, ocaml-ppx-sexp-value) (ocaml-ppx-sexp-message, ocaml-ppx-pipebang, ocaml-ppx-optional) (ocaml-ppx-optcomp, ocaml-ppx-fail, ocaml-ppx-let, ocaml-ppx-assert) (ocaml-ppx-expect, ocaml-ppx-js-style, ocaml-ppx-typerep-conv) (ocaml-ppx-base, ocaml-ppx-bin-prot, ocaml-ppx-jane) (ocaml-splittable-random, ocaml-configurator, ocaml-spawn, ocaml-core) (ocaml-core-kernel, ocaml-odoc, ocaml-fftw3, ocaml-lacaml): Rename to ... (ocaml4.07-sqlite3, ocaml4.07-ppx-tools, ocaml4.07-gen, ocaml4.07-sedlex) (ocaml4.07-pcre, ocaml4.07-expect, ocaml4.07-ezjsonm, ocaml4.07-uri) (ocaml4.07-piqilib, ocaml4.07-piqi, ocaml4.07-charinfo-width) (ocaml4.07-zed, ocaml4.07-lambda-term, ocaml4.07-utop) (ocaml4.07-ppx-inline-test, ocaml4.07-earley, ocaml4.07-merlin) (ocaml4.07-gsl, ocaml4.07-gsl-1, ocaml4.07-sexplib0, ocaml4.07-parsexp) (ocaml4.07-sexplib, ocaml4.07-base, ocaml4.07-stdio, ocaml4.07-ppxlib) (ocaml4.07-ppx-compare, ocaml4.07-fieldslib, ocaml4.07-variantslib) (ocaml4.07-ppx-fields-conv, ocaml4.07-ppx-sexp-conv) (ocaml4.07-ppx-variants-conv, ocaml4.07-ppx-custom-printf) (ocaml4.07-bin-prot, ocaml4.07-ppx-hash, ocaml4.07-ppx-enumerate) (ocaml4.07-ppx-bench, ocaml4.07-ppx-here, ocaml4.07-ppx-typerep) (ocaml4.07-ppx-sexp-value, ocaml4.07-ppx-sexp-message) (ocaml4.07-ppx-pipebang, ocaml4.07-ppx-optional, ocaml4.07-ppx-optcomp) (ocaml4.07-ppx-fail, ocaml4.07-ppx-let, ocaml4.07-ppx-assert) (ocaml4.07-ppx-expect, ocaml4.07-ppx-js-style) (ocaml4.07-ppx-typerep-conv, ocaml4.07-ppx-base, ocaml4.07-ppx-bin-prot) (ocaml4.07-ppx-jane, ocaml4.07-splittable-random) (ocaml4.07-configurator, ocaml4.07-spawn, ocaml4.07-core) (ocaml4.07-core-kernel, ocaml4.07-odoc, ocaml4.07-fftw3) (ocaml4.07-lacaml): ... to this and use ocaml 4.07. (bap, unison): Use ocaml-4.07. * gnu/packages/bioinformatics.scm (pplacer): Use ocaml-4.07.
* gnu: Add ocaml4.07-dune.Julien Lepiller2020-01-27
| | | | * gnu/packages/ocaml.scm (ocaml4.07-dune): New variable.
* gnu: Add ocaml4.07-lablgtk.Julien Lepiller2020-01-27
| | | | | * gnu/packages/ocaml.scm (ocaml4.07-lablgtk): New variable. (lablgtk)[properties]: Add variant.
* gnu: ocambuild: Update to 0.14.0.Julien Lepiller2020-01-27
| | | | | * gnu/packages/ocaml.scm (ocamlbuild): Update to 0.14.0. [build-system]: Use ocaml-build-system.
* gnu: ocaml-mmap: Fix spelling of "function".Vagrant Cascadian2020-01-24
| | | | * gnu/packages/ocaml (ocaml-mmap)[description]: Fix typo.
* gnu: ocaml4.07-findlib: Fix building with ocaml 4.07.Julien Lepiller2020-01-23
| | | | | * gnu/packages/ocaml.scm (ocaml4.07-findlib): rename inputs to native-inputs.
* gnu: ocaml-mmap: Use a source file-name.Efraim Flashner2020-01-22
| | | | * gnu/packages/ocaml.scm (ocaml-mmap)[source]: Add file-name field.
* gnu: Add ocaml4.07-findlib.Julien Lepiller2020-01-22
| | | | * gnu/packages/ocaml.scm (ocaml4.07-findlib): New variable.
* gnu: ocaml-lambda-term: Add missing dependencies.Julien Lepiller2020-01-22
| | | | | | * gnu/packages/ocaml.scm (ocaml-lambda-term)[propagated-inputs]: Add ocaml-lwt-react. [inputs]: Add libev.
* nu: Add ocaml-lwt-react.Julien Lepiller2020-01-22
| | | | * gnu/packages/ocaml.scm (ocaml-lwt-react): New variable.
* gnu: ocaml-markup: Update to 0.8.2.Julien Lepiller2020-01-21
| | | | gnu/packages/ocaml.scm (ocaml-markup): Update to 0.8.2.
* gnu: ocaml-lwt: Update to 5.1.1.Julien Lepiller2020-01-21
| | | | * gnu/packages/ocaml.scm (ocaml-lwt): update to 5.1.1.
* gnu: Add ocaml-mmap.Julien Lepiller2020-01-21
| | | | * gnu/packages/ocaml.scm (ocaml-mmap): New variable.
* gnu: ocaml-bisect-ppx: Update to 1.4.2.Julien Lepiller2020-01-21
| | | | * gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 1.4.2.
* gnu: ocaml-qtest. Update to 2.10.1.Julien Lepiller2020-01-21
| | | | * gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.10.1.
* gnu: ocaml-qcheck: Update to 0.12.Julien Lepiller2020-01-21
| | | | * gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.12.
* gnu: camlp5: Update to 7.10.Julien Lepiller2020-01-21
| | | | * gnu/packages/ocaml.scm (camlp5): Upadte to 7.10.
* gnu: opam: Update to 2.0.6.Julien Lepiller2020-01-21
| | | | * gnu/pckages/ocaml.scm (opam): Update to 2.0.6.
* gnu: Add ocaml-4.09.Julien Lepiller2020-01-17
| | | | | * gnu/packages/ocaml.scm (ocaml-4.09): New variable. [argument]: Remove the no longer needed configure phase.
* gnu: Add lablgtk3.Brett Gilio2020-01-06
| | | | | | * gnu/packages/ocaml.scm (lablgtk3): New variable. Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
* gnu: Add ocaml-cairo2.Brett Gilio2020-01-06
| | | | | | * gnu/packages/ocaml.scm (ocaml-cairo2): New variable. Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
* gnu: Add ocaml-fftw3.Brett Gilio2020-01-03
| | | | * gnu/packages/ocaml.scm (ocaml-fftw3): New variable.
* gnu: Add ocaml-lacaml.Brett Gilio2020-01-03
| | | | * gnu/packages/ocaml.scm (ocaml-lacaml): New variable.
* gnu: ocaml-utop: Modify home-page.Brett Gilio2020-01-03
| | | | | * gnu/packages/ocaml.scm (ocaml-utop)[home-page]: Change home-page to reflect permanent redirection.
* gnu: ocaml-utop: Update to 2.4.3.Brett Gilio2020-01-03
| | | | * gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.3.
generated by cgit v1.2.3 (git 2.45.0) at 2024-12-01 17:53:12 +0000