| Age | Commit message (Expand) | Author |
|---|
| 2023-12-30 | gnu: Remove ocaml4.07-bin-prot....* gnu/packages/ocaml.scm (ocaml4.07-bin-prot): Remove variable.
(ocaml-bin-prot)[properties]: Remove variant.
Change-Id: I8d16ef26b58cc179bcc9d93d2e3e18116c474d25
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-here....* gnu/packages/ocaml.scm (ocaml4.07-ppx-here): Remove variable.
(ocaml-ppx-here)[properties]: Remove variant.
Change-Id: I7b54d003c6bf988eb93d6a2345296d11add14f6d
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-sexplib....* gnu/packages/ocaml.scm (ocaml4.07-sexplib): Remove variable.
(ocaml-sexplib)[properties]: Remove variant.
Change-Id: I5d682457888b57d7d68c2e3e2b28d6cd4f4f3a85
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-assert....* gnu/packages/ocaml.scm (ocaml4.07-ppx-assert): Remove variable.
(ocaml-ppx-assert)[properties]: Remove variant.
Change-Id: Iba0b987323b8ee3feb2330b1e5eed199856466ee
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-inline-test....* gnu/packages/ocaml.scm (ocaml4.07-ppx-inline-test): Remove variable.
(ocaml-ppx-inline-test)[properties]: Remove variant.
Change-Id: Ia7a74c7872b200d22fe56ec62de144534fc9e1ae
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-bench....* gnu/packages/ocaml.scm (ocaml4.07-ppx-bench): Remove variable.
(ocaml-ppx-bench)[properties]: Remove variant.
Change-Id: I407067f56a2e8a73ab9c311dafb2fd6dd5b583f8
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-expect....* gnu/packages/ocaml.scm (ocaml4.07-ppx-expect): Remove variable.
(ocaml-ppx-expect)[properties]: Remove variant.
Change-Id: Iad2ab78be171d8e0c7526c27fd0c7f77e62c6c68
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-let....* gnu/packages/ocaml.scm (ocaml4.07-ppx-let): Remove variable.
(ocaml-ppx-let)[properties]: Remove variant.
Change-Id: Ia173d6bd784b6c1347c3ec2e3cc4e10b9537b092
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-enumerate....* gnu/packages/ocaml.scm (ocaml4.07-ppx-enumerate): Remove variable.
(ocaml-ppx-enumerate)[properties]: Remove variant.
Change-Id: I4923573de50e9e1795562cc7b974b8da7c88a64c
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-js-style....* gnu/packages/ocaml.scm (ocaml4.07-ppx-js-style): Remove variable.
(ocaml-ppx-js-style)[properties]: Remove variant.
Change-Id: I2243b4ae20136fb3d91c578d9bb2eeea306b0bb1
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-hash....* gnu/packages/ocaml.scm (ocaml4.07-ppx-hash): Remove variable.
(ocaml-ppx-hash)[properties]: Remove variant.
Change-Id: I38a4e5a4deb88398ae714b0671c9477551e7b6d9
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-tools-versioned....* gnu/packages/ocaml.scm (ocaml4.07-ppx-tools-versioned): Remove variable.
Change-Id: I74f5f3f9cdc7d7be2f1d52c933e27b688a8d2558
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-optcomp....* gnu/packages/ocaml.scm (ocaml4.07-ppx-optcomp): Remove variable.
(ocaml-ppx-optcomp)[properties]: Remove variant.
Change-Id: I030cadf5a90d8386b892d2318244f997fc55283c
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-sexp-value....* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-value): Remove variable.
(ocaml-ppx-sexp-value)[properties]: Remove variant.
Change-Id: Ib5b777b78c63d9cbc4812affba6f861c89ff3cce
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-optional....* gnu/packages/ocaml.scm (ocaml4.07-ppx-optional): Remove variable.
(ocaml-ppx-optional)[properties]: Remove variant.
Change-Id: Ie6aad28146cea0f5b48be78c68e7341307234e4a
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-bin-prot....* gnu/packages/ocaml.scm (ocaml4.07-ppx-bin-prot): Remove variable.
(ocaml-ppx-bin-prot)[properties]: Remove variant.
Change-Id: I132d19d38cbb40c72afaa86a758ca0d4267fe645
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-base....* gnu/packages/ocaml.scm (ocaml4.07-ppx-base): Remove variable.
(ocaml-ppx-base)[properties]: Remove variant.
Change-Id: I1a079a895eb260bb6870a12f494b79869a5a350c
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-sexp-message....* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-message): Remove variable.
(ocaml-ppx-sexp-message)[properties]: Remove variant.
Change-Id: Iaee2fbecb086ddad1b15b878d8148f9101903834
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-bisect-ppx....* gnu/packages/ocaml.scm (ocaml4.07-bisect-ppx): Remove variable.
(ocaml-bisect-ppx)[properties]: Remove variant.
Change-Id: I91dcdd486980885530ea2e269328ecf781aee020
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-fail....* gnu/packages/ocaml.scm (ocaml4.07-ppx-fail): Remove variable.
(ocaml-ppx-fail)[properties]: Remove variant.
Change-Id: Iec707f415906d109a2eb2076477c2bfecc27bcc8
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-pipebang....* gnu/packages/ocaml.scm (ocaml4.07-ppx-pipebang): Remove variable.
(ocaml-ppx-pipebang)[properties]: Remove variant.
Change-Id: I3c74444122e43571c9922bf703701e20b7baf58f
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-typerep-conv....* gnu/packages/ocaml.scm (ocaml4.07-ppx-typerep-conv): Remove variable.
(ocaml-ppx-typerep-conv)[properties]: Remove variant.
Change-Id: Iacd645286f2b1819d94c44fb6545382d755906bd
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-tyxml....* gnu/packages/ocaml.scm (ocaml4.07-tyxml): Remove variable.
(ocaml-tyxml)[properties]: Remove variant.
Change-Id: I2b86d01832baf4c139e2a0391a4dd344982bb160
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-ppx-jane....* gnu/packages/ocaml.scm (ocaml4.07-ppx-jane): Remove variable.
(ocaml-ppx-jane)[properties]: Remove variant.
Change-Id: Ia40acb52457f5c70221d424ec7015877b70ce614
| Julien Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-spawn....* gnu/packages/ocaml.scm (ocaml4.07-spawn): Remove variable.
(ocaml-spawn)[properties]: Remove variant.
Change-Id: Ib655eca9b305de23aa0cee0e29e51d9acea01094
| Julien Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-core....* gnu/packages/ocaml.scm (ocaml4.07-core): Remove variable.
Change-Id: Ie1e593746061506133e2e344e8c5021ad77f6820
| Julien Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-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 Lepiller |
| 2023-12-30 | gnu: Remove ocaml4.07-gsl-1....* gnu/packages/ocaml.scm (ocaml4.07-gsl-1): Remove variable.
Change-Id: Ie446999c873dbf5b16ce2e4f9e2a6c33833c7d05
| Julien Lepiller |
| 2023-10-20 | 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>
| pukkamustard |
| 2023-09-22 | gnu: bap: Update to 2.6.0-alpha-0.f995d28....* gnu/packages/ocaml.scm (bap): Update to 2.6.0-alpha-0.f995d28.
| Simon Tournier |
| 2023-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 Tournier |
| 2023-09-16 | 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 Kraus |
| 2023-07-18 | gnu: ocaml-bibtex2html: Fix build....* gnu/packages/ocaml.scm (ocaml-bibtex2html)[native-inputs]: Add TEXLIVE-PREPRINT.
| Nicolas Goaziou |
| 2023-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 Goaziou |
| 2023-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 Goaziou |
