summary refs log tree commit diff
path: root/gnu/packages/ocaml.scm
AgeCommit message (Collapse)Author
2020-10-19gnu: emacs-tuareg: Update to 2.2.0-0.ccde45b.zimoun
* gnu/packages/ocaml.scm (emacs-tuareg): Update to 2.2.0-0.ccde45b. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2020-10-15gnu: dune: Update to 2.7.1.Julien Lepiller
* gnu/packages/ocaml.scm (dune): Update to 2.7.1. (ocaml4.07-dune): Keep version 1.11.3. (ocaml-result, ocaml-csexp): Use the bootstrap dune on dune dependencies. (ocaml-craml, ocaml-bitstring): Run "dune upgrade" before building.
2020-10-15gnu: ocaml-4.07: Ensure build with ocaml4.7-dune.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-gen, ocaml4.07-sedlex) (ocaml4.07-ezjsonm, ocaml4.07-uri, 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-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-let, ocaml4.07-ppx-fail, 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)[arguments]: Use ocaml4.07-dune.
2020-10-15gnu: ocaml-jane-street-headers: Build only with OCaml 4.07.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-jane-street-headers): Rename to... (ocaml4.07-jane-street-headers): ...to this. Use OCaml 4.07.
2020-10-15gnu: ocaml-compiler-libs: Build only with OCaml 4.07.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-compiler-libs): Rename to... (ocaml4.07-compiler-libs): ...to this. Use OCaml 4.07.
2020-10-15gnu: Add ocaml-csexp.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-csexp): New variable.
2020-10-15gnu: ocaml-result: Update to 1.5.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-result): Update to 1.5.
2020-10-15gnu: ocaml-alcotest: Update to 1.0.0.Julien Lepiller
2020-10-15gnu: ocaml-fmt: Update to 0.8.9.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-fmt): Update to 0.8.9.
2020-10-15gnu: ocaml-logs: Update to 0.7.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-logs): Update to 0.7.0.
2020-10-15gnu: ocaml-base64: Update to 3.4.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.4.0.
2020-10-15gnu: opam: Update to 2.0.7.Julien Lepiller
* gnu/packages/ocaml.scm (opam): Update to 2.0.7.
2020-10-15gnu: ocaml-tyxml: Do not use deprecated jbuilder.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-tyxml): Remove #:jbuild argument.
2020-10-15gnu: ocaml4.07-core: Do not use deprecated jbuilder.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-core): Remove #:jbuild argument.
2020-10-15gnu: ocaml4.07-ppx-expect: Do not use deprecated jbuilder.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-expect): Remove #:jbuild argument.
2020-10-15gnu: ocaml4.07-merlin: Do not use deprecated jbuilder.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-merlin): Remove #:jbuild argument.
2020-10-15gnu: ocaml4.07-utop: Do not use deprecated jbuilder.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-utop): Remove #:jbuild argument.
2020-10-15gnu: ocaml4.07-zed: Do not use deprecated jbuilder.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-zed): Remove #:jbuild argument.
2020-10-15gnu: ocaml-easy-format: Do not use deprecated jbuilder.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-easy-format): Remove #:jbuild argument.
2020-10-15gnu: ocaml-lwt-log: Do not use deprecated jbuilder.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-lwt-log): Remove #:jbuild argument.
2020-10-15gnu: ocaml-bitstring: Do not use deprecated jbuilder.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-bitstring): Remove #:jbuild argument.
2020-10-15gnu: ocaml-qtest: Do not use deprecated jbuilder.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-qtest): Remove #:jbuild argument.
2020-10-15gnu: ocaml-ppx-tools-versioned: Update to 5.4.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ppx-tools-versioned): Update to 5.4.0.
2020-10-15gnu: ocaml-migrate-parsetree: Update to 1.7.3.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 1.7.3.
2020-10-15gnu: ocaml-mccs: Update to 1.1+11.Julien Lepiller
* gnu/packages/ocaml-mccs: Update to 1.1+11.
2020-10-15gnu: camlp5: Update to 7.13.Julien Lepiller
* gnu/packages/ocaml.scm (camlp5): Update to 7.13.
2020-10-15gnu: unison: Build with ocaml-4.09.Julien Lepiller
* gnu/packages/ocaml.scm (unison)[sources]: Add an upstream patch. [native-inputs]: Use ocaml-4.09. * gnu/packages/patches/unison-fix-ocaml-4.08.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it.
2020-09-30gnu: ocaml4.07-sqlite3: Fix build.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-sqlite3): Use dune for OCaml 4.07.
2020-09-23gnu: Fix typoes in package descriptions.Tobias Geerinckx-Rice
* gnu/packages/audio.scm (caps-plugins-lv2)[synopsis]: Fix typo. * gnu/packages/bioconductor.scm (r-karyoploter, r-anota, r-gcrma) (r-bigmemoryextras)[description]: Likewise. * gnu/packages/cran.scm (r-geometry)[synopsis]: Likewise. (r-stringdist, r-patchwork, r-depth, r-tea)[description]: Likewise. * gnu/packages/crates-io.scm (rust-assert-fs-0.11, rust-notify-4) (rust-tokio-fs-0.1)[synopsis, description]: Likewise. (rust-blas-sys-0.7)[description]: Likewise. (rust-fs-extra-1.1, rust-xattr-0.2)[synopsis]: Likewise. * gnu/packages/databases.scm (perl-mysql-config)[description]: Likewise. * gnu/packages/disk.scm (hddtemp)[description]: Likewise. * gnu/packages/django.scm (python-djangorestframework)[description]: Likewise. * gnu/packages/documentation.scm (doc++)[description]: Likewise. * gnu/packages/emacs-xyz.scm (emacs-kakoune, emacs-pyim-basedict, eless) (emacs-scpaste)[description]: Likewise. * gnu/packages/file-systems.scm (dbxfs)[description]: Likewise. * gnu/packages/finance.scm (python-stdnum)[description]: Likewise. * gnu/packages/fontutils.scm (woff2)[description]: Likewise. * gnu/packages/games.scm (openttd-opengfx)[description]: Likewise. * gnu/packages/gnome-xyz.scm (gnome-shell-extension-topicons-redux) [description]: Likewise. * gnu/packages/gnome.scm (libgrss)[description]: Likewise. * gnu/packages/golang.scm (go-github-com-mitchellh-reflectwalk) [description]: Likewise. (go-github-com-go-git-go-billy)[synopsis, description]: Likewise. * gnu/packages/haskell-check.scm (ghc-inspection-testing)[description]: Likewise. * gnu/packages/haskell-web.scm (ghc-yesod-form)[description]: Likewise. * gnu/packages/haskell-xyz.scm (ghc-hex)[description]: Likewise. * gnu/packages/hyperledger.scm (hyperledger-iroha-ed25519)[description]: Likewise. * gnu/packages/java.scm (java-mail)[synopsis]: Likewise. (java-native-access-platform)[description]: Likewise. * gnu/packages/kde-frameworks.scm (kactivities-stats)[description]: Likewise. * gnu/packages/kde-utils.scm (krusader)[description]: Likewise. * gnu/packages/language.scm (praat)[description]: Likewise. * gnu/packages/linux.scm (light)[description]: Likewise. * gnu/packages/lisp-xyz.scm (sbcl-hu.dwim.defclass-star)[description]: Likewise. * gnu/packages/mail.scm (dovecot-trees, sieve-connect)[description]: Likewise. * gnu/packages/ocaml.scm (ocaml-opam-file-format, ocaml-cppo) (ocaml4.07-ppx-variants-conv)[description]: Likewise. * gnu/packages/perl.scm (perl-convert-binhex)[description]: Likewise. * gnu/packages/python-crypto.scm (python-ecdsa)[description]: Likewise. * gnu/packages/python-web.scm (python-html5lib)[synopsis, description]: Likewise. (python-venusian)[synopsis]: Likewise. * gnu/packages/python-xyz.scm (python-readlike, python-gssapi) (python-flufl-i18n)[description]: Likewise. (python-pox, python-watchdog, python-xattr)[synopsis, description]: Likewise. * gnu/packages/ruby.scm (ruby-sorcerer)[description]: Likewise. * gnu/packages/rust-apps.scm (watchexec)[description]: Likewise. * gnu/packages/rust.scm (mrustc)[synopsis]: Likewise. * gnu/packages/shells.scm (s-shell)[description]: Likewise. * gnu/packages/ssh.scm (sshpass)[description]: Likewise. * gnu/packages/terminals.scm (beep)[description]: Likewise. * gnu/packages/web.scm (perl-lwp-useragent-cached)[description]: Likewise. * gnu/packages/wv.scm (wv)[description]: Likewise.
2020-08-31gnu: ocamlify: Update to 0.0.2.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (ocamlify): Update to 0.0.2. [arguments]: Add a ‘disable-safe-string’ phase.
2020-08-31gnu: ocamlify: Parametrize source URI.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (ocamlify)[source]: Construct with VERSION.
2020-07-30gnu: opam: Fix tests.Marius Bakke
* gnu/packages/ocaml.scm (opam)[arguments]: Remove #:tests?. Adjust the pre-check phase to make some files writable, patch a hard-coded file name, and disable mostly-redundant git tests. [native-inputs]: Remove GIT and PYTHON. Add OPENSSL, PYTHON-WRAPPER, RSYNC, UNZIP, and WHICH.
2020-07-12gnu: Remove ".git" from "https://github/…/….git".Ludovic Courtès
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.
2020-06-24gnu: ocaml4.07-piqi: Don't use unstable tarball.Efraim Flashner
* gnu/packages/ocaml.scm (ocaml4.07-piqi)[source]: Download using git-fetch. [arguments]: Add custom phase to make files writable.
2020-06-03gnu: ocaml-extlib: Update to 1.7.7.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.7. [source]: Update TLD.
2020-06-03gnu: camlp5: Update to 7.12.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (camlp5): Update to 7.12.
2020-05-20gnu: hevea: Update to 2.34.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (hevea): Update to 2.34.
2020-05-16gnu: bap: Update to 2.0.0.Julien Lepiller
* gnu/packages/ocaml.scm (bap): Update to 2.0.0.
2020-05-15gnu: ocaml-ocurl: Update to 0.9.1.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ocurl): Update to 0.9.1.
2020-05-15gnu: ocaml-fileutils: Update to 0.6.2.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.2.
2020-05-15gnu: ocaml-octavius: Update to 1.2.2.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-octavius): Update to 1.2.2.
2020-04-12gnu: ocamlify: Fix grammar of "allows to create" to "creates".Vagrant Cascadian
* gnu/packages/ocaml (ocamlify): Fix grammar.
2020-04-12gnu: ocaml-mtime: Fix grammar "allows to measure" to "measures".Vagrant Cascadian
* gnu/packages/ocaml (ocaml-mtime): Fix grammar.
2020-04-12gnu: ocaml-qcheck: Fix grammar of "allows to check" to "checks".Vagrant Cascadian
* gnu/packages/ocaml (ocaml-qcheck): Fix grammar.
2020-04-04gnu: ocaml-menhir: Update to 20190626.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20190626.
2020-03-21gnu: ocaml-sedlex: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (ocaml-sedlex)[home-page]: Use HTTPS.
2020-03-21gnu: ocaml-tsdl: Update to 0.9.7.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (ocaml-tsdl): Update to 0.9.7. [native-inputs]: Remove ocaml-ocb-stubblr. [inputs]: Remove ocaml-result.
2020-03-21gnu: ocaml-tsdl: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (ocaml-tsdl)[home-page]: Use HTTPS.
2020-03-19gnu: camlp5: Update home page.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (camlp5)[home-page]: Update.
2020-03-19gnu: camlzip: Update home page.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (camlzip)[home-page]: Update.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-19 03:30:30 +0000