aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
Commit message (Expand)AuthorAge
* gnu: Remove ocaml4.07-spawn.•••* gnu/packages/ocaml.scm (ocaml4.07-spawn): Remove variable. (ocaml-spawn)[properties]: Remove variant. Change-Id: Ib655eca9b305de23aa0cee0e29e51d9acea01094 Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-odoc.•••* gnu/packages/ocaml.scm (ocaml4.07-odoc): Remove variable. (ocaml-odoc)[properties]: Remove variant. Change-Id: I903ba64cfb460064531a502ca0c97e81ed4bbb82 Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-jane-street-headers.•••* gnu/packages/ocaml.scm (ocaml4.07-jane-street-headers): Remove variable. (ocaml-jane-street-headers)[properties]: Remove variant. Change-Id: I4df9b3a74ea8100605bf730848888db4f63c1dc0 Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-qcheck.•••* gnu/packages/ocaml.scm (ocaml4.07-qcheck): Remove variable. (ocaml-qcheck)[properties]: Remove variant. Change-Id: I5d658a105d626315742428a68638222da212bea6 Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-frontc.•••* gnu/packages/ocaml.scm (ocaml4.07-frontc): Remove variable. (ocaml-frontc)[properties]: Remove variant. Change-Id: I52bf626af56d05e6230365825b944240cc523cdc Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-core-kernel.•••* gnu/packages/ocaml.scm (ocaml4.07-core-kernel): Remove variable. (ocaml-core-kernel)[properties]: Remove variant. Change-Id: Ia3c7b3fd2f5b3712c46e091f707961bc18123296 Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-core.•••* gnu/packages/ocaml.scm (ocaml4.07-core): Remove variable. Change-Id: Ie1e593746061506133e2e344e8c5021ad77f6820 Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-zed.•••* gnu/packages/ocaml.scm (ocaml4.07-zed): Remove variable. (ocaml-zed)[properties]: Remove variant. Change-Id: I13b2f5b0a3f38ca9a2f57e207487889adaad2d03 Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-sqlite3.•••* gnu/packages/ocaml.scm (ocaml4.07-sqlite3): Remove variable. (ocaml-sqlite3)[properties]: Remove variant. Change-Id: I336d685ac271e50d0bb4ed0e41d0bcee38ee4686 Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-sedlex.•••* gnu/packages/ocaml.scm (ocaml4.07-sedlex): Remove variable. (ocaml-sedlex)[properties]: Remove variant. Change-Id: I6ce2cfac54b7bf8879fde315ea60e3932bac8a9c Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-splittable-random.•••* gnu/packages/ocaml.scm (ocaml4.07-splittable-random): Remove variable. (ocaml-splittable-random)[properties]: Remove variant. Change-Id: I30cd8ccdc296655a60e821544151e2a38d46d3ca Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-lambda-term.•••* gnu/packages/ocaml.scm (ocaml4.07-lambda-term): Remove variable. (ocaml-lambda-term)[properties]: Remove variant. Change-Id: I4c7a0a0833103acc39e48e74770f57a4b5df8f69 Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-uri.•••* gnu/packages/ocaml.scm (ocaml4.07-uri): Remove variable. (ocaml-uri)[properties]: Remove variant. Change-Id: I078537f7c1c10bcf319f3482ec50c252d25cb463 Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-batteries.•••* gnu/packages/ocaml.scm (ocaml4.07-batteries): Remove variable. (ocaml-batteries)[properties]: Remove variant. Change-Id: I7573033dd1a517cf4f9e456c4f8507e82065550c Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-cstruct.•••* gnu/packages/ocaml.scm (ocaml4.07-cstruct): Remove variable. (ocaml-cstruct)[properties]: Remove variant. Change-Id: I623e2947aa9a597d9ee1342f27c7ec98d171b05e Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-utop.•••* gnu/packages/ocaml.scm (ocaml4.07-utop): Remove variable. (ocaml-utop)[properties]: Remove variant. Change-Id: I5307736534705f79e681462d07cce61cfd08699c Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-base64.•••* gnu/packages/ocaml.scm (ocaml4.07-base64): Remove variable. (ocaml-base64)[properties]: Remove variant. Change-Id: Ibf92682e0d322e9d294c99f5532da2fe68a92f4a Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-bitstring.•••* gnu/packages/ocaml.scm (ocaml4.07-bitstring): Remove variable. (ocaml-bitstring)[properties]: Remove variant. Change-Id: I7b5964ef9d0e2319a47409ce0e378012a2094671 Julien Lepiller2023-12-30
* gnu: Remove ocaml4.07-gsl-1.•••* gnu/packages/ocaml.scm (ocaml4.07-gsl-1): Remove variable. Change-Id: Ie446999c873dbf5b16ce2e4f9e2a6c33833c7d05 Julien Lepiller2023-12-30
* 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> pukkamustard2023-10-20
* gnu: bap: Update to 2.6.0-alpha-0.f995d28.•••* gnu/packages/ocaml.scm (bap): Update to 2.6.0-alpha-0.f995d28. Simon Tournier2023-09-22
* gnu: bap: Update to 2.5.0-alpha-0.a972f8a.•••* gnu/packages/ocaml.scm (bap): Explicitly refer to commit instead of mutable Git tag. Simon Tournier2023-09-22
* 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> Vivien Kraus2023-09-16
* gnu: ocaml-bibtex2html: Fix build.•••* gnu/packages/ocaml.scm (ocaml-bibtex2html)[native-inputs]: Add TEXLIVE-PREPRINT. Nicolas Goaziou2023-07-18
* 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. Nicolas Goaziou2023-07-18
* 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. Nicolas Goaziou2023-07-18
* 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. Nicolas Goaziou2023-07-18
* gnu: ocaml-bibtex2html: Fix build.•••* gnu/packages/ocaml.scm (ocaml-bibtex2html)[native-inputs]: Add TEXLIVE-INFWARERR, TEXLIVE-KVOPTINOS, TEXLIVE-PDFTEXCMDS. Nicolas Goaziou2023-07-18
* 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. Nicolas Goaziou2023-07-18
* 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. Nicolas Goaziou2023-07-18
* 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> Jean-Pierre De Jesus DIAZ2023-06-02
* 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> Jean-Pierre De Jesus DIAZ2023-06-02
* 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> Jean-Pierre De Jesus DIAZ2023-06-02
* gnu: ocaml-lwt: Add ocaml4.07 variant.•••* gnu/packages/ocaml.scm (ocaml-lwt)[properties]: New field. (ocaml4.07-lwt): New variable. Efraim Flashner2023-04-25
* 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 Maxim Cournoyer2023-04-14
|\
| * gnu: hevea: Update to 2.36.•••* gnu/packages/ocaml.scm (hevea): Update to 2.36. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Philippe SWARTVAGHER2023-03-27
* | 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> Simon Tournier2023-04-12
* | 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> Simon Tournier2023-04-12
* | Merge remote-tracking branch 'origin/master' into core-updatesAndreas Enge2023-03-20
|\|
| * 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> pukkamustard2023-03-05
| * 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> pukkamustard2023-03-05
* | 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 Christopher Baines2023-03-02
|\|
| * 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. Tobias Geerinckx-Rice2023-02-19
| * gnu: Add ocaml-mirage-bootvar-unix.•••* gnu/packages/ocaml.scm (ocaml-mirage-bootvar-unix): New variable. Signed-off-by: Christopher Baines <mail@cbaines.net> raingloom2023-02-17
| * gnu: Add ocaml-parse-argv.•••* gnu/packages/ocaml.scm (ocaml-parse-argv): New variable. Signed-off-by: Christopher Baines <mail@cbaines.net> raingloom2023-02-17
| * gnu: Add ocaml-mirage-xen.•••* gnu/packages/ocaml.scm (ocaml-mirage-xen): New variable. Signed-off-by: Christopher Baines <mail@cbaines.net> raingloom2023-02-17
| * gnu: Add ocaml-bheap.•••* gnu/packages/ocaml.scm (ocaml-bheap): New variable. Signed-off-by: Christopher Baines <mail@cbaines.net> raingloom2023-02-17
| * gnu: Add ocaml-io-page.•••* gnu/packages/ocaml.scm (ocaml-io-page): New variable. Signed-off-by: Christopher Baines <mail@cbaines.net> raingloom2023-02-17
| * gnu: Add ocaml-xenstore.•••* gnu/packages/ocaml.scm (ocaml-xenstore): New variable. Signed-off-by: Christopher Baines <mail@cbaines.net> raingloom2023-02-17
| * 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> raingloom2023-02-17
generated by cgit v1.2.3 (git 2.47.1) at 2025-03-20 12:31:55 +0000