guix/guix
3
5
Fork 0
mirror of git://git.savannah.gnu.org/guix.git synced 2023-12-14 03:33:07 +01:00
Code Issues Releases Wiki Activity
67861 commits 81 branches 36 tags 328 MiB
Commit graph

549 commits

Author SHA1 Message Date
Julien Lepiller
339177956a
gnu: dune: Update to 2.7.1. 
* 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-15 18:01:35 +02:00
Julien Lepiller
339c752d05
gnu: ocaml-4.07: Ensure build with ocaml4.7-dune. 
* 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-15 18:01:27 +02:00
Julien Lepiller
f2df5a4bb2
gnu: ocaml-jane-street-headers: Build only with OCaml 4.07. 
* gnu/packages/ocaml.scm (ocaml-jane-street-headers): Rename to...
(ocaml4.07-jane-street-headers): ...to this.  Use OCaml 4.07.
 2020-10-15 18:01:21 +02:00
Julien Lepiller
c49b94a56c
gnu: ocaml-compiler-libs: Build only with OCaml 4.07. 
* gnu/packages/ocaml.scm (ocaml-compiler-libs): Rename to...
(ocaml4.07-compiler-libs): ...to this.  Use OCaml 4.07.
 2020-10-15 18:01:15 +02:00
Julien Lepiller
171abdd8f5
gnu: Add ocaml-csexp. 
* gnu/packages/ocaml.scm (ocaml-csexp): New variable.
 2020-10-15 18:01:05 +02:00
Julien Lepiller
bc92fd22df
gnu: ocaml-result: Update to 1.5. 
* gnu/packages/ocaml.scm (ocaml-result): Update to 1.5.
 2020-10-15 18:01:00 +02:00
Julien Lepiller
01ec666e6c
gnu: ocaml-alcotest: Update to 1.0.0. 2020-10-15 18:00:53 +02:00
Julien Lepiller
0a86b93fae
gnu: ocaml-fmt: Update to 0.8.9. 
* gnu/packages/ocaml.scm (ocaml-fmt): Update to 0.8.9.
 2020-10-15 18:00:49 +02:00
Julien Lepiller
276be8f21c
gnu: ocaml-logs: Update to 0.7.0. 
* gnu/packages/ocaml.scm (ocaml-logs): Update to 0.7.0.
 2020-10-15 18:00:44 +02:00
Julien Lepiller
bd2ad4a195
gnu: ocaml-base64: Update to 3.4.0. 
* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.4.0.
 2020-10-15 18:00:28 +02:00
Julien Lepiller
ef841e96b9
gnu: opam: Update to 2.0.7. 
* gnu/packages/ocaml.scm (opam): Update to 2.0.7.
 2020-10-15 18:00:21 +02:00
Julien Lepiller
32fd3e9c0b
gnu: ocaml-tyxml: Do not use deprecated jbuilder. 
* gnu/packages/ocaml.scm (ocaml-tyxml): Remove #:jbuild argument.
 2020-10-15 18:00:18 +02:00
Julien Lepiller
0f1362f049
gnu: ocaml4.07-core: Do not use deprecated jbuilder. 
* gnu/packages/ocaml.scm (ocaml4.07-core): Remove #:jbuild argument.
 2020-10-15 18:00:13 +02:00
Julien Lepiller
47ef85b588
gnu: ocaml4.07-ppx-expect: Do not use deprecated jbuilder. 
* gnu/packages/ocaml.scm (ocaml4.07-ppx-expect): Remove #:jbuild argument.
 2020-10-15 18:00:10 +02:00
Julien Lepiller
1f4b40227c
gnu: ocaml4.07-merlin: Do not use deprecated jbuilder. 
* gnu/packages/ocaml.scm (ocaml4.07-merlin): Remove #:jbuild argument.
 2020-10-15 18:00:08 +02:00
Julien Lepiller
3b90075a40
gnu: ocaml4.07-utop: Do not use deprecated jbuilder. 
* gnu/packages/ocaml.scm (ocaml4.07-utop): Remove #:jbuild argument.
 2020-10-15 18:00:04 +02:00
Julien Lepiller
0a8eb6850d
gnu: ocaml4.07-zed: Do not use deprecated jbuilder. 
* gnu/packages/ocaml.scm (ocaml4.07-zed): Remove #:jbuild argument.
 2020-10-15 18:00:01 +02:00
Julien Lepiller
8ff5f39a9f
gnu: ocaml-easy-format: Do not use deprecated jbuilder. 
* gnu/packages/ocaml.scm (ocaml-easy-format): Remove #:jbuild argument.
 2020-10-15 17:59:56 +02:00
Julien Lepiller
2d00625f24
gnu: ocaml-lwt-log: Do not use deprecated jbuilder. 
* gnu/packages/ocaml.scm (ocaml-lwt-log): Remove #:jbuild argument.
 2020-10-15 17:59:52 +02:00
Julien Lepiller
93304a0c89
gnu: ocaml-bitstring: Do not use deprecated jbuilder. 
* gnu/packages/ocaml.scm (ocaml-bitstring): Remove #:jbuild argument.
 2020-10-15 17:59:48 +02:00
Julien Lepiller
a8a8547abf
gnu: ocaml-qtest: Do not use deprecated jbuilder. 
* gnu/packages/ocaml.scm (ocaml-qtest): Remove #:jbuild argument.
 2020-10-15 17:59:44 +02:00
Julien Lepiller
f0c6fe314f
gnu: ocaml-ppx-tools-versioned: Update to 5.4.0. 
* gnu/packages/ocaml.scm (ocaml-ppx-tools-versioned): Update to 5.4.0.
 2020-10-15 17:59:40 +02:00
Julien Lepiller
bd8558a0e5
gnu: ocaml-migrate-parsetree: Update to 1.7.3. 
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 1.7.3.
 2020-10-15 17:59:37 +02:00
Julien Lepiller
7ae38a0479
gnu: ocaml-mccs: Update to 1.1+11. 
* gnu/packages/ocaml-mccs: Update to 1.1+11.
 2020-10-15 17:59:33 +02:00
Julien Lepiller
61949dbc8a
gnu: camlp5: Update to 7.13. 
* gnu/packages/ocaml.scm (camlp5): Update to 7.13.
 2020-10-15 17:59:25 +02:00
Julien Lepiller
aea459a504
gnu: unison: Build with ocaml-4.09. 
* 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-10-15 17:59:18 +02:00
Julien Lepiller
db194f714a
gnu: ocaml4.07-sqlite3: Fix build. 
* gnu/packages/ocaml.scm (ocaml4.07-sqlite3): Use dune for OCaml 4.07.
 2020-09-30 14:38:51 +02:00
Tobias Geerinckx-Rice
7230f6d5dd
gnu: Fix typoes in package descriptions. 
* 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-09-23 04:37:01 +02:00
Tobias Geerinckx-Rice
2d3370c4ec
gnu: ocamlify: Update to 0.0.2. 
* gnu/packages/ocaml.scm (ocamlify): Update to 0.0.2.
[arguments]: Add a ‘disable-safe-string’ phase.
 2020-08-31 20:32:50 +02:00
Tobias Geerinckx-Rice
4a7243fcfb
gnu: ocamlify: Parametrize source URI. 
* gnu/packages/ocaml.scm (ocamlify)[source]: Construct with VERSION.
 2020-08-31 20:32:50 +02:00
Marius Bakke
05b90a4ab4
gnu: opam: Fix tests. 
* 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-30 18:18:12 +02:00
Ludovic Courtès
b0e7b6992f
gnu: Remove ".git" from "https://github/…/….git". 
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-07-12 23:08:15 +02:00
Efraim Flashner
2d84ef328c
gnu: ocaml4.07-piqi: Don't use unstable tarball. 
* gnu/packages/ocaml.scm (ocaml4.07-piqi)[source]: Download using
git-fetch.
[arguments]: Add custom phase to make files writable.
 2020-06-24 10:35:56 +03:00
Tobias Geerinckx-Rice
bb79af865a
gnu: ocaml-extlib: Update to 1.7.7. 
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.7.
[source]: Update TLD.
 2020-06-03 20:45:20 +02:00
Tobias Geerinckx-Rice
e809c891dd
gnu: camlp5: Update to 7.12. 
* gnu/packages/ocaml.scm (camlp5): Update to 7.12.
 2020-06-03 06:46:31 +02:00
Tobias Geerinckx-Rice
2da5fcfdfa
gnu: hevea: Update to 2.34. 
* gnu/packages/ocaml.scm (hevea): Update to 2.34.
 2020-05-20 05:56:53 +02:00
Julien Lepiller
523cbfbd55
gnu: bap: Update to 2.0.0. 
* gnu/packages/ocaml.scm (bap): Update to 2.0.0.
 2020-05-16 17:43:25 +02:00
Julien Lepiller
1ac2bf05c8
gnu: ocaml-ocurl: Update to 0.9.1. 
* gnu/packages/ocaml.scm (ocaml-ocurl): Update to 0.9.1.
 2020-05-15 15:56:33 +02:00
Julien Lepiller
bee8c8acd7
gnu: ocaml-fileutils: Update to 0.6.2. 
* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.2.
 2020-05-15 14:48:46 +02:00
Julien Lepiller
8965111768
gnu: ocaml-octavius: Update to 1.2.2. 
* gnu/packages/ocaml.scm (ocaml-octavius): Update to 1.2.2.
 2020-05-15 14:44:58 +02:00
Vagrant Cascadian
e49a6c82c2
gnu: ocamlify: Fix grammar of "allows to create" to "creates". 
* gnu/packages/ocaml (ocamlify): Fix grammar.
 2020-04-12 16:25:56 -07:00
Vagrant Cascadian
2bf52398a7
gnu: ocaml-mtime: Fix grammar "allows to measure" to "measures". 
* gnu/packages/ocaml (ocaml-mtime): Fix grammar.
 2020-04-12 16:25:53 -07:00
Vagrant Cascadian
bf05272459
gnu: ocaml-qcheck: Fix grammar of "allows to check" to "checks". 
* gnu/packages/ocaml (ocaml-qcheck): Fix grammar.
 2020-04-12 13:34:59 -07:00
Julien Lepiller
3a3b594822
gnu: ocaml-menhir: Update to 20190626. 
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20190626.
 2020-04-04 18:34:42 +02:00
Tobias Geerinckx-Rice
d8bf501eb2
gnu: ocaml-sedlex: Use HTTPS home page. 
* gnu/packages/ocaml.scm (ocaml-sedlex)[home-page]: Use HTTPS.
 2020-03-21 03:09:43 +01:00
Tobias Geerinckx-Rice
786886d1f5
gnu: ocaml-tsdl: Update to 0.9.7. 
* gnu/packages/ocaml.scm (ocaml-tsdl): Update to 0.9.7.
[native-inputs]: Remove ocaml-ocb-stubblr.
[inputs]: Remove ocaml-result.
 2020-03-21 03:09:43 +01:00
Tobias Geerinckx-Rice
2d1e064694
gnu: ocaml-tsdl: Use HTTPS home page. 
* gnu/packages/ocaml.scm (ocaml-tsdl)[home-page]: Use HTTPS.
 2020-03-21 03:09:43 +01:00
Tobias Geerinckx-Rice
619ffa02ef
gnu: camlp5: Update home page. 
* gnu/packages/ocaml.scm (camlp5)[home-page]: Update.
 2020-03-19 02:28:37 +01:00
Tobias Geerinckx-Rice
0c34b5e6d0
gnu: camlzip: Update home page. 
* gnu/packages/ocaml.scm (camlzip)[home-page]: Update.
 2020-03-19 00:44:53 +01:00
Tobias Geerinckx-Rice
a79b7ab5a2
gnu: lablgtk: Update to 2.18.10. 
* gnu/packages/ocaml.scm (lablgtk): Update to 2.18.10.
 2020-03-19 00:42:17 +01:00