me
/
guix
Archived
1
0
Fork 0
Commit Graph

1152 Commits (2c5fb13a0504df593b64c416d952df90fb4a5f3f)

Author SHA1 Message Date
pukkamustard 6156bf9078
gnu: unison: Update to 2.53.3.
* gnu/packages/ocaml.scm (unison): Update to 2.53.0.
  [source]: Remove patch.
  [build-system]: Use dune-build-system.
  [outputs]: Remove "doc" output.
  [native-inputs]: Update package style.
  [propagated-inputs]: Add lablgtk3 and zlib.
  [arguments]: Enable tests.
  <#:phases>: Remove prepare-install and install-fsmonitor phases.
* gnu/packages/patches/unison-fix-ocaml-4.08.patch: Remove file.
* gnu/local.mk: Unregister.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-10-20 00:33:26 +02:00
Simon Tournier 3a7a81b471
gnu: bap: Update to 2.6.0-alpha-0.f995d28.
* gnu/packages/ocaml.scm (bap): Update to 2.6.0-alpha-0.f995d28.
2023-09-22 15:04:00 +02:00
Simon Tournier 47ba771548
gnu: bap: Update to 2.5.0-alpha-0.a972f8a.
* gnu/packages/ocaml.scm (bap): Explicitly refer to commit instead of mutable
Git tag.
2023-09-22 15:04:00 +02:00
Vivien Kraus 33e64b4509
gnu: ocaml: Allow not to build the native compiler.
Build "defaultentry", not "world.opt", so that the build system decides
whether to build the native compiler or just the bytecode compiler.
The native compiler is not available for 32-bit architectures.

* gnu/packages/ocaml.scm (ocaml-5.0)[arguments]: Change make-flags.

Signed-off-by: Andreas Enge <andreas@enge.fr>
2023-09-16 09:45:06 +02:00
Nicolas Goaziou 074abeb4f4
gnu: ocaml-bibtex2html: Fix build.
* gnu/packages/ocaml.scm (ocaml-bibtex2html)[native-inputs]: Add TEXLIVE-PREPRINT.
2023-07-18 18:16:49 +02:00
Nicolas Goaziou 29cc6b1cd6
gnu: Deprecate `texlive-tiny'.
At this point, there are three equivalent TeX Live sub-systems:
texlive-scheme-basic, texlive-tiny, and (texlive-updmap.cfg).  It is confusing
to keep so many around.

* doc/contributing.texi (Submitting Patches): Remove reference to
TEXLIVE-TINY.
* gnu/packages/algebra.scm (pari-gp)[native-inputs]:
(giac)[native-inputs]:
* gnu/packages/chez.scm (chez-sockets)[native-inputs]:
* gnu/packages/engineering.scm (fastcap)[native-inputs]:
* gnu/packages/gettext.scm (po4a)[native-inputs]:
* gnu/packages/maths.scm (cddlib)[native-inputs]:
(gnuplot)[native-inputs]:
(itpp)[native-inputs]:
* gnu/packages/ocaml.scm (unison)[native-inputs]:
* gnu/packages/pdf.scm (extractpdfmark)[native-inputs]:
* gnu/packages/photo.scm (enblend-enfuse): Replace TEXLIVE-TINY with a call to TEXLIVE-UPDMAP.CFG.
* gnu/packages/radio.scm (gnuradio)[native-inputs]: Remove unnecessary
TEXLIVE-TINY.
* gnu/packages/tex.scm (texlive-tiny): Deprecate it in favor of TEXLIVE-SCHEME-BASIC.
(texlive-makecmds)[native-inputs]:  Replace TEXLIVE-TINY with a call to TEXLIVE-UPDMAP.CFG.
* guix/lint.scm (check-inputs-should-be-native): Check only for
"texlive-updmap.cfg" input name.
2023-07-18 18:16:49 +02:00
Nicolas Goaziou 7a18bd9e74
gnu: Rationalize texlive-updmap.cfg and texlive-tiny inputs.
TEXLIVE-UPDMAP.CFG and TEXLIVE-TINY should only be used as native inputs.
Also remove texlive packages already provided by them.

* doc/build.scm (pdf-manual):
* gnu/packages/algebra.scm (pari-gp):
* gnu/packages/bioinformatics.scm (discrover):
(phyml):
(velvet):
* gnu/packages/chemistry.scm (yaehmop):
* gnu/packages/chez.scm (stex-bootstrap):
(chez-web):
(chez-sockets):
* gnu/packages/cran.scm (r-prereg):
* gnu/packages/docbook.scm (dblatex):
* gnu/packages/emacs-xyz.scm (emacs-auctex):
* gnu/packages/engineering.scm (fastcap):
* gnu/packages/fsf.scm (book-faif):
* gnu/packages/graphviz.scm (dot2tex):
* gnu/packages/maths.scm (hypre):
* gnu/packages/ocaml.scm (unison):
(ocaml-bibtex2html):
* gnu/packages/plotutils.scm (asymptote):
* gnu/packages/python-xyz.scm (python-nbconvert):
(python-pypandoc):
* gnu/packages/radio.scm (gnuradio):
(libosmo-dsp):
* gnu/packages/statistics.scm (r-with-tests):
* gnu/packages/tex.scm (texlive-makecmds):
(texlive-innerscript):
(teximpatient):
(texlive-xkeyval): Remove texlive packages already provided by
TEXLIVE-UPDMAP.CFG.  Don't add TEXLIVE-TINY or TEXLIVE-UPDMAP.CFG as inputs.
2023-07-18 18:16:47 +02:00
Nicolas Goaziou fc91998274
gnu: ocaml-bibtex2html: Improve package style.
* gnu/packages/ocaml.scm (ocaml-bibtex2html)[origin]<uri>: Re-use version.
[arguments]: Use G-expressions.  Remove trailing #T from phases.
[native-inputs]: Remove labels.
2023-07-18 18:16:43 +02:00
Nicolas Goaziou 97a59bbef9
gnu: ocaml-bibtex2html: Fix build.
* gnu/packages/ocaml.scm (ocaml-bibtex2html)[native-inputs]: Add
TEXLIVE-INFWARERR, TEXLIVE-KVOPTINOS, TEXLIVE-PDFTEXCMDS.
2023-07-18 18:16:42 +02:00
Nicolas Goaziou 76819a9655
gnu: texlive-fonts-ec -> texlive-ec.
* gnu/packages/tex.scm (texlive-ec): New variable.
(texlive-fonts-ec): Deprecate variable.
(lyx):
(biber):
* gnu/packages/python-xyz.scm (python-pypandoc):
* gnu/packages/statistics.scm (r-with-tests):
* doc/build.scm (pdf-manual):
* gnu/packages/bioinformatics.scm (discrover):
(phyml):
(velvet):
* gnu/packages/chemistry.scm (yaehmop):
* gnu/packages/chez.scm (stex-bootstrap):
* gnu/packages/ocaml.scm (unison):
(ocaml-bibtex2html):
* gnu/packages/plotutils.scm (asymptote): Use new name.
2023-07-18 18:10:48 +02:00
Nicolas Goaziou 3522e1970a
gnu: texlive-dvips-l3backend -> texlive-l3backend.
* gnu/packages/tex.scm (texlive-dvips-l3backend): Deprecate package.
* gnu/packages/chez.scm (stex-bootstrap):
* gnu/packages/maths.scm (cddlib):
* gnu/packages/ocaml.scm (unison):
* gnu/packages/plotutils.scm (asymptote): Use new name.
2023-07-18 18:10:36 +02:00
Jean-Pierre De Jesus DIAZ 5461ff1e54
gnu: Add ocaml-pyml.
* gnu/packages/ocaml.ml (ocaml-pyml): New variable.

Signed-off-by: Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-06-02 16:27:39 +02:00
Jean-Pierre De Jesus DIAZ 4017fae4e0
gnu: Add ocaml-stdcompat.
* gnu/packages/ocaml.scm (ocaml-stdcompat): New variable.

Signed-off-by: Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-06-02 16:27:34 +02:00
Jean-Pierre De Jesus DIAZ bb7f978e60
gnu: Add ocaml-parmap.
* gnu/packages/ocaml.scm (ocaml-parmap): New variable.

Signed-off-by: Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-06-02 16:27:29 +02:00
Efraim Flashner d67b8788b3
gnu: ocaml-lwt: Add ocaml4.07 variant.
* gnu/packages/ocaml.scm (ocaml-lwt)[properties]: New field.
(ocaml4.07-lwt): New variable.
2023-04-25 20:42:22 +03:00
Maxim Cournoyer 3bacd3c76a
Merge branch 'master' into core-updates.
Conflicts:
	gnu/local.mk
	gnu/packages/build-tools.scm
	gnu/packages/certs.scm
	gnu/packages/check.scm
	gnu/packages/compression.scm
	gnu/packages/cups.scm
	gnu/packages/fontutils.scm
	gnu/packages/gnuzilla.scm
	gnu/packages/guile.scm
	gnu/packages/ibus.scm
	gnu/packages/image-processing.scm
	gnu/packages/linux.scm
	gnu/packages/music.scm
	gnu/packages/nss.scm
	gnu/packages/pdf.scm
	gnu/packages/python-xyz.scm
	gnu/packages/qt.scm
	gnu/packages/ruby.scm
	gnu/packages/shells.scm
	gnu/packages/tex.scm
	gnu/packages/video.scm
	gnu/packages/vulkan.scm
	gnu/packages/web.scm
	gnu/packages/webkit.scm
	gnu/packages/wm.scm
2023-04-14 17:15:08 -04:00
Simon Tournier a957171bc4
gnu: ocaml-mdx: Fix tests.
* gnu/packages/ocaml.scm (ocaml-mdx)[arguments]: Substitue obsolete 'egrep' by
'grep -E'.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2023-04-12 21:53:05 +02:00
Simon Tournier 8557eb9ffb
gnu: ocaml-ppxlib: Fix tests.
* gnu/packages/ocaml.scm (ocaml-ppxlib)[arguments]: Substitue obsolete 'egrep'
by 'grep -E'.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2023-04-12 21:43:47 +02:00
Philippe SWARTVAGHER 30cc651fba
gnu: hevea: Update to 2.36.
* gnu/packages/ocaml.scm (hevea): Update to 2.36.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-27 18:48:52 +02:00
Andreas Enge ccb62d8feb
Merge remote-tracking branch 'origin/master' into core-updates 2023-03-20 18:49:06 +01:00
pukkamustard de45676c2a
gnu: Update ocaml-eio to 0.8.1.
* gnu/packages/ocaml.scm (ocaml-eio): Update to 0.8.1.
  [native-inputs]: Add ocaml-mdx.
  (ocaml-mtime): Update to 2.0.0.
  [source]: Use https instead of http.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-05 23:06:55 +01:00
pukkamustard 506f8ffff1
gnu: Update ocaml-uring to 0.5.
* gnu/packages/ocaml.scm (ocaml-uring): Update to 0.5.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-05 23:06:55 +01:00
Christopher Baines 7df09ee0ab
Merge remote-tracking branch 'savannah/master' into core-updates
Conflicts:
	gnu/local.mk
	gnu/packages/autotools.scm
	gnu/packages/cmake.scm
	gnu/packages/gnuzilla.scm
	gnu/packages/haskell.scm
	gnu/packages/pdf.scm
	gnu/packages/python-xyz.scm
	gnu/packages/samba.scm
	gnu/packages/tex.scm
	gnu/packages/tls.scm
	gnu/packages/wxwidgets.scm
2023-03-02 10:55:08 +00:00
Julien Lepiller ca0f9d8c1c
gnu: ocaml-4.07: Fix signal handling with newer glibc.
* gnu/packages/patches/ocaml-4.07-dynamically-allocate-signal-stack.patch:
New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/ocaml.scm (ocaml-4.07-boot): Use it.
2023-02-22 08:21:22 +01:00
Julien Lepiller b1a0b5a3f5
gnu: camlboot: Fix signal handling with newer glibc.
* gnu/packages/patches/camlboot-dynamically-allocate-stack-signal.patch:
  New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/ocaml.scm (camlboot): Use it.
2023-02-19 22:55:33 +01:00
Julien Lepiller 15bce0144b
gnu: ocaml-4.09: Fix signal handling with newer glibc.
* gnu/packages/patches/ocaml-4.09-dynamically-allocate-signal-stack.patch:
New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/ocaml.scm (ocaml-4.09): Use it.
2023-02-19 10:12:45 +01:00
Tobias Geerinckx-Rice 1e6ddceb83
gnu: Use HTTPS package home pages wherever possible.
* gnu/packages/accessibility.scm (florence)[home-page]: Use HTTPS.
* gnu/packages/admin.scm (netcat, nmon)[home-page]: Likewise.
* gnu/packages/algebra.scm (mpfrcx, cm, flint, fftw, r-dtt)[home-page]:
Likewise.
* gnu/packages/apr.scm (apr, apr-util)[home-page]: Likewise.
* gnu/packages/aspell.scm (aspell-dict-it)[home-page]: Likewise.
* gnu/packages/astronomy.scm (casacore, sextractor, libnova)
(xplanet)[home-page]: Likewise.
* gnu/packages/audio.scm (libtimidity, alsa-modular-synth, azr3, tao)
(freepats, rakarrack, liblo, libshout-idjc, timidity++, libsbsms)
(libmodplug, libxmp, xmp, sox, drc, gsm, gnaural)
(streamripper)[home-page]: Likewise.
* gnu/packages/authentication.scm (pamtester)[home-page]: Likewise.
* gnu/packages/backup.scm (grsync)[home-page]: Likewise.
* gnu/packages/bioconductor.scm (r-nmf, r-edger, r-limma)
(r-plgem)[home-page]: Likewise.
* gnu/packages/bioinformatics.scm (python-biom-format, bowtie, bowtie1)
(bwa, crossmap, java-htsjdk, java-htsjdk-latest, java-picard)
(java-picard-2.10.3, kaiju, proteinortho, rsem, rseqc, seek, samtools)
(snap-aligner, subread, stringtie, r-centipede, prinseq, emboss, phylip)
(libsbml)[home-page]: Likewise.
* gnu/packages/build-tools.scm (tup)[home-page]: Likewise.
* gnu/packages/cdrom.scm (libcddb, cdrdao, cdrtools)
(cd-discid)[home-page]: Likewise.
* gnu/packages/check.scm (cunit, python-nose)
(python-pyhamcrest)[home-page]: Likewise.
* gnu/packages/chemistry.scm (gromacs)[home-page]: Likewise.
* gnu/packages/chez.scm (chez-fmt)[home-page]: Likewise.
* gnu/packages/code.scm (lcov, uncrustify, cscope)[home-page]: Likewise.
* gnu/packages/compression.scm (p7zip)[home-page]: Likewise.
* gnu/packages/cran.scm (r-emdist, r-proj4, r-zoo, r-ggalluvial)
(r-orgmassspecr, r-polychrome, r-partykit, r-rcpp, r-ff, r-emdbook)
(r-fitdistrplus, r-linprog, r-geometry, r-dtw, r-fst, r-rjags)
(r-intergraph, r-qualv, r-labelled, r-survey, r-coin, r-fmsb, r-tm)
(r-corpcor, r-rmpfr, r-spatialextremes, r-longitudinal, r-genenet)
(r-bayesm, r-seqinr, r-mpm, r-text2vec, r-rgdal, r-seewave, r-hdrcde)
(r-shapes, r-anytime, r-stm, r-d3network, r-tam, r-directlabels)
(r-spatstat-utils, r-spatstat-sparse, r-spatstat-data, r-spatstat-geom)
(r-spatstat-core, r-spatstat-linnet, r-spatstat-random, r-spatstat)
(r-rcpptoml, r-mlecens, r-seurat, r-mlearning, r-zooimage)[home-page]:
Likewise.
* gnu/packages/crates-io.scm (rust-nickel-0.11, rust-thrift-0.13)
(rust-trust-dns-https-0.20, rust-trust-dns-native-tls-0.20)
(rust-trust-dns-openssl-0.20, rust-trust-dns-proto-0.20)
(rust-trust-dns-resolver-0.20, rust-trust-dns-rustls-0.20)
(rust-uint-0.9, rust-yaml-rust-0.4)[home-page]: Likewise.
* gnu/packages/crypto.scm (libdecaf, ccrypt)[home-page]: Likewise.
* gnu/packages/curl.scm (curlpp)[home-page]: Likewise.
* gnu/packages/databases.scm (python-pylibmc, unixodbc, wiredtiger)
(libpqxx, mdbtools, virtuoso-ose, libdbi, libdbi-drivers)
(soci)[home-page]: Likewise.
* gnu/packages/debian.scm (apt-mirror)[home-page]: Likewise.
* gnu/packages/debug.scm (remake)[home-page]: Likewise.
* gnu/packages/disk.scm (sdparm, idle3-tools, duc)[home-page]: Likewise.
* gnu/packages/django.scm (python-django-haystack)[home-page]: Likewise.
* gnu/packages/djvu.scm (djvulibre, djview)[home-page]: Likewise.
* gnu/packages/dns.scm (dnsmasq)[home-page]: Likewise.
* gnu/packages/docbook.scm (dblatex, docbook2x)[home-page]: Likewise.
* gnu/packages/documentation.scm (scrollkeeper)[home-page]: Likewise.
* gnu/packages/ebook.scm (liblinebreak)[home-page]: Likewise.
* gnu/packages/electronics.scm (xoscope)[home-page]: Likewise.
* gnu/packages/emacs-xyz.scm (emacs-bbdb, emacs-caps-lock, emacs-djvu)
(emacs-pabbrev, emacs-twittering-mode, emacs-filladapt, emacs-rudel)
(emacs-stream, emacspeak, emacs-cc-mode, emacs-eldoc, emacs-jsonrpc)
(emacs-gtk-look, emacs-xclip, emacs-slime-volleyball, emacs-minimap)
(emacs-auto-dictionary-mode, emacs-persist, emacs-shell-command+)
(emacs-map, emacs-xref, emacs-dictionary)[home-page]: Likewise.
* gnu/packages/embedded.scm (sdcc)[home-page]: Likewise.
* gnu/packages/engineering.scm (asco, libngspice, libspnav)
(openctm)[home-page]: Likewise.
* gnu/packages/erlang.scm (erlang-erlware-commons)[home-page]: Likewise.
* gnu/packages/file-systems.scm (jfsutils, curlftpfs)[home-page]:
Likewise.
* gnu/packages/finance.scm (gbonds)[home-page]: Likewise.
* gnu/packages/flashing-tools.scm (dfu-util, srecord)[home-page]:
Likewise.
* gnu/packages/fltk.scm (ntk)[home-page]: Likewise.
* gnu/packages/fonts.scm (font-terminus, font-tex-gyre)
(font-comic-neue)[home-page]: Likewise.
* gnu/packages/fontutils.scm (ttf2pt1, potrace, libspiro)[home-page]:
Likewise.
* gnu/packages/fpga.scm (icestorm, gtkwave, gtkwave)
(python-myhdl)[home-page]: Likewise.
* gnu/packages/freedesktop.scm (libatasmart)[home-page]: Likewise.
* gnu/packages/ftp.scm (weex)[home-page]: Likewise.
* gnu/packages/game-development.scm (dds, python-tmx, sfxr, quesoglc)
(eureka, plib)[home-page]: Likewise.
* gnu/packages/games.scm (abe, alex4, armagetronad, barony)
(foobillard++, golly, ltris, pipewalker, prboom-plus, trigger-rally)
(cmatrix, pinball, pioneers, tennix, chromium-bsu, freeciv, kiki)
(quakespasm, frotz, frotz-dumb-terminal, frotz-sdl, btanks)
(flare-engine, chessx, barrage, cgoban, passage)[home-page]: Likewise.
* gnu/packages/geo.scm (python-geopandas, saga)[home-page]: Likewise.
* gnu/packages/gl.scm (freeglut, gl2ps)[home-page]: Likewise.
* gnu/packages/gnome.scm (cogl, clutter-gtk, clutter-gst, bluefish)
(workrave)[home-page]: Likewise.
* gnu/packages/gnustep.scm (wmnd, wmfire, wmfire)[home-page]: Likewise.
* gnu/packages/graph.scm (mscgen)[home-page]: Likewise.
* gnu/packages/graphics.scm (assimp, alembic, ctl, agg)
(opencsg)[home-page]: Likewise.
* gnu/packages/graphviz.scm (gts)[home-page]: Likewise.
* gnu/packages/gtk.scm (gtkspell3)[home-page]: Likewise.
* gnu/packages/guile-xyz.scm (guile-irregex)[home-page]: Likewise.
* gnu/packages/haskell-apps.scm (cpphs)[home-page]: Likewise.
* gnu/packages/haskell-check.scm (ghc-hunit)[home-page]: Likewise.
* gnu/packages/haskell-web.scm (ghc-http-client-restricted)
(ghc-blaze-html, ghc-happstack-server, ghc-sourcemap)[home-page]:
Likewise.
* gnu/packages/haskell-xyz.scm (ghc-assoc, ghc-cairo, ghc-cborg)
(ghc-csv, ghc-glob, ghc-gtk2hs-buildtools, ghc-hmatrix-gsl-stats)
(ghc-intervalmap, ghc-lens-family-core, ghc-managed, ghc-mountpoints)
(ghc-network-multicast, ghc-optional-args, ghc-regex, ghc-spoon)
(ghc-transformers, ghc-turtle, ghc-utf8-light, ghc-wizards)
(ghc-template-haskell, ghc-boot-th, ghc-binary-orphans)
(ghc-postgresql-simple)[home-page]: Likewise.
* gnu/packages/hexedit.scm (ht, bvi)[home-page]: Likewise.
* gnu/packages/hunspell.scm (hunspell-dict-hu)[home-page]: Likewise.
* gnu/packages/image-processing.scm (mia)[home-page]: Likewise.
* gnu/packages/image-viewers.scm (geeqie, gpicview, luminance-hdr)
(qiv)[home-page]: Likewise.
* gnu/packages/image.scm (libuemf, devil, steghide, optipng, niftilib)
(sng, mtpaint)[home-page]: Likewise.
* gnu/packages/java-xml.scm (java-simple-xml, java-jaxp)
(java-apache-xml-commons-resolver)[home-page]: Likewise.
* gnu/packages/java.scm (java-cisd-base, java-cisd-args4j)
(java-hamcrest-core, java-jsr305, java-eclipse-osgi)
(java-eclipse-equinox-common, java-eclipse-core-jobs)
(java-eclipse-equinox-registry, java-eclipse-equinox-app)
(java-eclipse-equinox-preferences, java-eclipse-core-contenttype)
(java-eclipse-text, java-treelayout, java-aopalliance, java-jeromq)
(java-cdi-api)[home-page]: Likewise.
* gnu/packages/jemalloc.scm (jemalloc-4.5.0)[home-page]: Likewise.
* gnu/packages/julia-xyz.scm (julia-recipespipeline)[home-page]:
Likewise.
* gnu/packages/kde-internet.scm (kget)[home-page]: Likewise.
* gnu/packages/kde-systemtools.scm (dolphin-plugins)
(konsole)[home-page]: Likewise.
* gnu/packages/kodi.scm (fstrcmp)[home-page]: Likewise.
* gnu/packages/language.scm (hime, libchewing)[home-page]: Likewise.
* gnu/packages/lego.scm (nqc)[home-page]: Likewise.
* gnu/packages/lesstif.scm (lesstif)[home-page]: Likewise.
* gnu/packages/libcanberra.scm (libcanberra)[home-page]: Likewise.
* gnu/packages/libdaemon.scm (libdaemon)[home-page]: Likewise.
* gnu/packages/libffi.scm (libffi)[home-page]: Likewise.
* gnu/packages/libreoffice.scm (libwpd, libwpg, libwps)[home-page]:
Likewise.
* gnu/packages/libusb.scm (libmtp, gmtp)[home-page]: Likewise.
* gnu/packages/linux.scm (e2fsprogs, extundelete, lsscsi, net-tools)
(kbd, sysfsutils, cpuid, libpfm4)[home-page]: Likewise.
* gnu/packages/lisp-check.scm (sbcl-ptester, sbcl-xlunit)[home-page]:
Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-html-encode, sbcl-py-configparser)
(sbcl-cl-utilities, sbcl-series, sbcl-uffi, sbcl-clsql, sbcl-sycamore)
(sbcl-osicat, sbcl-hu.dwim.common, sbcl-caveman, sbcl-trivial-shell)
(sbcl-trivial-benchmark, sbcl-screamer, sbcl-smug)[home-page]: Likewise.
* gnu/packages/lisp.scm (lush2)[home-page]: Likewise.
* gnu/packages/logging.scm (log4cpp)[home-page]: Likewise.
* gnu/packages/lua.scm (lua-ldoc)[home-page]: Likewise.
* gnu/packages/machine-learning.scm (mcl, openfst, rxcpp)[home-page]:
Likewise.
* gnu/packages/mail.scm (muchsync, procmail, sendmail)
(opensmtpd-filter-dkimsign, crm114)[home-page]: Likewise.
* gnu/packages/man.scm (libpipeline, man-db)[home-page]: Likewise.
* gnu/packages/maths.scm (lapack, scalapack, hdf-eos5, itpp, gmsh)
(metamath, p4est, armadillo, suitesparse, atlas, lpsolve, wcalc, why3)
(frama-c)[home-page]: Likewise.
* gnu/packages/mcrypt.scm (mcrypt, libmcrypt, libmhash)[home-page]:
Likewise.
* gnu/packages/minetest.scm (minetest-advtrains)[home-page]: Likewise.
* gnu/packages/monitoring.scm (python-whisper, python-carbon)
(hostscope)[home-page]: Likewise.
* gnu/packages/mp3.scm (id3lib, libmp3splt, mp3splt, mpg321)
(lame)[home-page]: Likewise.
* gnu/packages/multiprecision.scm (mpc)[home-page]: Likewise.
* gnu/packages/music.scm (aria-maestosa, lingot, setbfree, bristol)
(portmidi, python-pyportmidi, zynaddsubfx, yoshimi, aj-snapshot)
(schismtracker, midicsv, midicsv, qmidiarp, qmidiroute, dssi, tap-lv2)
(shiru-lv2)[home-page]: Likewise.
* gnu/packages/ncurses.scm (stfl)[home-page]: Likewise.
* gnu/packages/networking.scm (lksctp-tools, mbuffer, ifstatus, bird)
(tunctl, traceroute)[home-page]: Likewise.
* gnu/packages/node-xyz.scm (node-mersenne)[home-page]: Likewise.
* gnu/packages/ntp.scm (openntpd)[home-page]: Likewise.
* gnu/packages/ocaml.scm (opam, hevea, ocaml-menhir, ocaml-piqilib)
(ocaml-graph, cubicle)[home-page]: Likewise.
* gnu/packages/opencl.scm (python-pyopencl)[home-page]: Likewise.
* gnu/packages/package-management.scm (xstow, modules)[home-page]:
Likewise.
* gnu/packages/parallel.scm (xjobs)[home-page]: Likewise.
* gnu/packages/pdf.scm (podofo, qpdf, xournal, impressive)[home-page]:
Likewise.
* gnu/packages/perl.scm (perl-math-vecstat, perltidy)[home-page]:
Likewise.
* gnu/packages/photo.scm (libpano13, enblend-enfuse, hugin)[home-page]:
Likewise.
* gnu/packages/plan9.scm (drawterm)[home-page]: Likewise.
* gnu/packages/plotutils.scm (guile-charting, ploticus)[home-page]:
Likewise.
* gnu/packages/popt.scm (argtable, popt)[home-page]: Likewise.
* gnu/packages/profiling.scm (otf2)[home-page]: Likewise.
* gnu/packages/pulseaudio.scm (pulseaudio)[home-page]: Likewise.
* gnu/packages/python-check.scm (python-mypy)[home-page]: Likewise.
* gnu/packages/python-web.scm (python-cssutils)
(python-translationstring)[home-page]: Likewise.
* gnu/packages/python-xyz.scm (python-diskcache, python-doxyqml)
(python-docutils, python-pexpect, python-importlib-resources)
(python-simplegeneric, python-urwid, python-xlrd, python-xlwt)
(python-pyasn1, python-pythondialog, python-tftpy, python-random2)
(python-arcp, python-pyopengl, python-sortedcollections)
(python-sortedcontainers, python-yapsy, python-pydispatcher)
(python-posix-ipc)[home-page]: Likewise.
* gnu/packages/qt.scm (qwt, libqglviewer, signond)[home-page]: Likewise.
* gnu/packages/radio.scm (unixcw, gnuais)[home-page]: Likewise.
* gnu/packages/raspberry-pi.scm (bcm2835)[home-page]: Likewise.
* gnu/packages/rdf.scm (clucene, rasqal, redland)[home-page]: Likewise.
* gnu/packages/regex.scm (tre)[home-page]: Likewise.
* gnu/packages/rsync.scm (librsync)[home-page]: Likewise.
* gnu/packages/ruby.scm (ruby-packnga, ruby-nokogiri, ruby-oj, ruby-ox)
(ruby-sinatra, ruby-citrus, ruby-cbor, ruby-roda)[home-page]: Likewise.
* gnu/packages/scheme.scm (scheme48, tinyscheme)[home-page]: Likewise.
* gnu/packages/screen.scm (dtach)[home-page]: Likewise.
* gnu/packages/scsi.scm (sg3-utils)[home-page]: Likewise.
* gnu/packages/sdl.scm (libmikmod, sdl-pango)[home-page]: Likewise.
* gnu/packages/shellutils.scm (hstr, rig)[home-page]: Likewise.
* gnu/packages/simulation.scm (python-dolfin-adjoint)[home-page]:
Likewise.
* gnu/packages/smalltalk.scm (smalltalk)[home-page]: Likewise.
* gnu/packages/speech.scm (espeak)[home-page]: Likewise.
* gnu/packages/stalonetray.scm (stalonetray)[home-page]: Likewise.
* gnu/packages/statistics.scm (jags, r-mass, r-class, r-lattice)
(r-matrix, r-nnet, r-spatial, r-bit, r-bit64, r-digest, r-xtable)
(python-statsmodels, r-ade4, r-latticeextra, r-rcurl, r-xml, r-mvtnorm)
(r-robustbase, r-minqa, r-fdrtool, java-jdistlib, xlispstat)[home-page]:
Likewise.
* gnu/packages/swig.scm (swig)[home-page]: Likewise.
* gnu/packages/task-management.scm (wtime)[home-page]: Likewise.
* gnu/packages/tcl.scm (itcl, tclxml, tclx)[home-page]: Likewise.
* gnu/packages/terminals.scm (libtermkey, mlterm, libvterm)
(libvterm)[home-page]: Likewise.
* gnu/packages/tex.scm (texlive-lm, texlive-lm-math, texlive-cs)
(texlive-csplain, biber, texmaker)[home-page]: Likewise.
* gnu/packages/text-editors.scm (joe)[home-page]: Likewise.
* gnu/packages/textutils.scm (drm-tools, docx2txt)[home-page]: Likewise.
* gnu/packages/tv.scm (tvtime)[home-page]: Likewise.
* gnu/packages/unicode.scm (libunibreak)[home-page]: Likewise.
* gnu/packages/upnp.scm (libupnp)[home-page]: Likewise.
* gnu/packages/version-control.scm (cvs)[home-page]: Likewise.
* gnu/packages/video.scm (transcode, libquicktime, mjpegtools, aalib)
(liba52, libmpeg2, x265, libdv, dvdauthor, aegisub, pitivi, gavl)
(dvdbackup, guvcview, video-contact-sheet)[home-page]: Likewise.
* gnu/packages/virtualization.scm (bochs)[home-page]: Likewise.
* gnu/packages/w3m.scm (w3m)[home-page]: Likewise.
* gnu/packages/web.scm (qjson, libquvi-scripts, libquvi, quvi)
(tidy-html, htmlcxx)[home-page]: Likewise.
* gnu/packages/wm.scm (evilwm, menumaker)[home-page]: Likewise.
* gnu/packages/wv.scm (wv)[home-page]: Likewise.
* gnu/packages/wxwidgets.scm (wxsvg)[home-page]: Likewise.
* gnu/packages/xdisorg.scm (mtdev, xsel)[home-page]: Likewise.
* gnu/packages/xfig.scm (xfig, transfig)[home-page]: Likewise.
* gnu/packages/xml.scm (openjade, python-pyxb, xmlstarlet, xmlrpc-c)
(opensp)[home-page]: Likewise.
* gnu/packages/xorg.scm (xf86-video-qxl)[home-page]: Likewise.
2023-02-19 01:00:01 +01:00
raingloom 48724a6642
gnu: Add ocaml-mirage-bootvar-unix.
* gnu/packages/ocaml.scm (ocaml-mirage-bootvar-unix): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:58 +00:00
raingloom 34589fe587
gnu: Add ocaml-parse-argv.
* gnu/packages/ocaml.scm (ocaml-parse-argv): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:58 +00:00
raingloom 9658d29ab8
gnu: Add ocaml-mirage-xen.
* gnu/packages/ocaml.scm (ocaml-mirage-xen): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:58 +00:00
raingloom 991a289a02
gnu: Add ocaml-bheap.
* gnu/packages/ocaml.scm (ocaml-bheap): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:58 +00:00
raingloom 1276f9da9a
gnu: Add ocaml-io-page.
* gnu/packages/ocaml.scm (ocaml-io-page): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:58 +00:00
raingloom 9c6809a6c4
gnu: Add ocaml-xenstore.
* gnu/packages/ocaml.scm (ocaml-xenstore): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:58 +00:00
raingloom 3b2ca07ed6
gnu: Add ocaml-shared-memory-ring-lwt.
* gnu/packages/ocaml.scm (ocaml-shared-memory-ring-lwt): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:58 +00:00
raingloom 1e324abac0
gnu: Add ocaml-shared-memory-ring.
* gnu/packages/ocaml.scm (ocaml-shared-memory-ring): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:57 +00:00
raingloom 5bb2dc0ca2
gnu: Add ocaml-async.
* gnu/packages/ocaml.scm (ocaml-async): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:57 +00:00
raingloom 3e15ad0329
gnu: Add ocaml-async-rpc-kernel.
* gnu/packages/ocaml.scm (ocaml-async-rpc-kernel): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:57 +00:00
raingloom 7fbe38d7bf
gnu: Add ocaml-protocol-version-header.
* gnu/packages/ocaml.scm (ocaml-protocol-version-header): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:57 +00:00
raingloom 47bc3fc743
gnu: Add ocaml-textutils.
* gnu/packages/ocaml.scm (ocaml-textutils): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:57 +00:00
raingloom c91f8f9b7b
gnu: Add ocaml-textutils-kernel.
* gnu/packages/ocaml.scm (ocaml-textutils-kernel): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:57 +00:00
raingloom 3f84fbd2f1
gnu: Add ocaml-async-unix.
* gnu/packages/ocaml.scm (ocaml-async-unix): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:57 +00:00
raingloom 419023489e
gnu: Add ocaml-async-kernel.
* gnu/packages/ocaml.scm (ocaml-async-kernel): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:56 +00:00
raingloom 5f0d2ed20b
gnu: Add ocaml-core-unix.
* gnu/packages/ocaml.scm (ocaml-core-unix): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:56 +00:00
raingloom 3831cdad63
gnu: Add ocaml-intrinsics.
* gnu/packages/ocaml.scm (ocaml-intrinsics): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:56 +00:00
raingloom f52c3fb9ee
gnu: Add ocaml-expect-test-helpers-core.
* gnu/packages/ocaml.scm (ocaml-expect-test-helpers-core): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:56 +00:00
raingloom bd15c8fc3a
gnu: Add ocaml-sexp-pretty.
* gnu/packages/ocaml.scm (ocaml-sexp-pretty): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:56 +00:00
raingloom 34958ee1b6
gnu: Add ocaml-mirage-logs.
* gnu/packages/ocaml.scm (ocaml-mirage-logs): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:56 +00:00
raingloom 2af65d1b5d
gnu: Add ocaml-ptime.
* gnu/packages/ocaml.scm (ocaml-ptime): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:56 +00:00
raingloom 0d4ff1c2ad
gnu: Add ocaml-mirage-clock.
* gnu/packages/ocaml.scm (ocaml-mirage-clock): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:55 +00:00
raingloom fa0c8e8260
gnu: Add ocaml-mirage-profile.
* gnu/packages/ocaml.scm (ocaml-mirage-profile): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-17 15:44:55 +00:00