guix/gnu/packages
Julien Lepiller 697328419e
gnu: Remove ocaml4.07-ppx-sexp-conv.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-conv): Remove variable.
(ocaml-ppx-sexp-conv)[properties]: Remove variant.

Change-Id: I6471c4e4f0c7cd8d3dd04f0ea0f4ce064759b37b
2023-12-30 22:12:00 +01:00
..
aux-files build-system: Add ‘composer-build-system’. 2023-12-18 23:16:55 +01:00
patches gnu: Transmission: Update to 4.0.5. 2023-12-29 14:57:37 -05:00
abduco.scm
abiword.scm
accessibility.scm
acct.scm
acl.scm
ada.scm
admin.scm gnu: swineherd: Update to 0.0.4. 2023-12-23 12:26:50 +01:00
adns.scm
agda.scm
aidc.scm
algebra.scm gnu: Adjust to removing ed.scm and nano.scm 2023-12-25 19:58:21 +02:00
android.scm
animation.scm
anthy.scm
antivirus.scm
apl.scm
apparmor.scm
apple.scm
apr.scm
arcan.scm
aspell.scm
assembly.scm
astronomy.scm
attr.scm
audio.scm
augeas.scm
authentication.scm
autogen.scm
autotools.scm
avahi.scm
avr-xyz.scm
avr.scm
axoloti.scm gnu: axoloti-patcher: Remove trailing #T. 2023-12-20 01:00:45 +01:00
backup.scm gnu: Borg: Update to 1.2.7. 2023-12-16 15:26:22 -05:00
barrier.scm
base.scm gnu: Adjust to removing ed.scm and nano.scm 2023-12-25 19:58:21 +02:00
bash.scm
batik.scm
bdw-gc.scm
benchmark.scm
bioconductor.scm gnu: r-tximeta: Update to 1.20.1. 2023-12-15 17:47:43 +01:00
bioinformatics.scm gnu: Add lammps-serial. 2023-12-25 23:21:07 +01:00
bison.scm
bittorrent.scm gnu: Transmission: Update to 4.0.5. 2023-12-29 14:57:37 -05:00
books.scm
boost.scm
bootloaders.scm gnu: bootloader: Add orangepi-r1-plus-lts-rk3328 bootloader. 2023-12-22 16:06:03 -08:00
bootstrap.scm
bqn.scm
browser-extensions.scm gnu: passff: Update to 1.16. 2023-12-27 15:29:09 +01:00
build-tools.scm
busybox.scm
c.scm
calcurse.scm
calendar.scm
ccache.scm
cdrom.scm gnu: cdparanoia: Fix cross-compiling. 2023-12-28 10:16:35 +01:00
cedille.scm
certs.scm
check.scm gnu: python-setuptools-lint: Add missing input. 2023-12-05 15:10:33 +02:00
chemistry.scm
chez.scm gnu: racket: Update to 8.11.1. 2023-12-13 12:58:43 +01:00
chicken.scm gnu: chicken: Update to 5.3.0. 2023-12-12 11:53:36 -05:00
chromium.scm
ci.scm
cinnamon.scm
clifm.scm
clojure.scm
cluster.scm
cmake.scm
cobol.scm
code.scm
commencement.scm
compression.scm
compton.scm
configuration-management.scm
conky.scm
connman.scm
containers.scm
convmv.scm
cook.scm gnu: Adjust to removing ed.scm and nano.scm 2023-12-25 19:58:21 +02:00
coq.scm
cpio.scm
cpp.scm gnu: google-highway: Update to 1.0.7. 2023-12-27 15:40:37 +02:00
cppi.scm
cran.scm gnu: Add r-ncmisc. 2023-12-20 11:40:57 +01:00
crates-graphics.scm gnu: Fix source URI for rust crates. 2023-12-24 11:30:47 +02:00
crates-gtk.scm
crates-io.scm gnu: Add rust-rpds-1. 2023-12-28 10:12:35 +01:00
cross-base.scm
cross-toolchain.scm
crypto.scm
cryptsetup.scm gnu: cryptsetup: Fix cross-compilation. 2023-12-23 10:47:13 +01:00
cups.scm
curl.scm
cvassistant.scm
cybersecurity.scm
cyrus-sasl.scm
darwin.scm
databases.scm gnu: apache-arrow: Update to 14.0.0. 2023-12-15 16:13:07 +01:00
datamash.scm
datastructures.scm
dav.scm
dbm.scm
dc.scm
debian.scm gnu: ubuntu-keyring: Update to 2023.11.28.1. 2023-12-10 10:24:45 +02:00
debug.scm gnu: rr: Update to 5.7.0. 2023-12-23 11:17:49 +01:00
dejagnu.scm
dezyne.scm gnu: dezyne: Update to 2.18.0. 2023-12-15 12:01:57 +01:00
dhall.scm
dico.scm
dictionaries.scm
diffoscope.scm
digest.scm
direct-connect.scm
disk.scm gnu: f3: Fix cross-compiling. 2023-12-29 19:48:16 +01:00
display-managers.scm gnu: slim: Update to 1.4.0. 2023-12-23 11:17:49 +01:00
distributed.scm
django.scm
djvu.scm
dlang.scm gnu: dub: update to 1.33.0. 2023-12-07 12:43:09 +02:00
dns.scm
docbook.scm
docker.scm
documentation.scm
dvtm.scm
easyrpg.scm
ebook.scm
education.scm
efi.scm
electronics.scm gnu: glad: Rename to glad-0.1. 2023-12-22 21:38:06 +08:00
elf.scm
elixir-xyz.scm gnu: Add elixir-machete. 2023-12-17 22:22:31 +01:00
elixir.scm gnu: Add elixir-hex. 2023-12-17 22:22:30 +01:00
elm.scm
emacs-xyz.scm gnu: emacs-tempel: Update to 1.0. 2023-12-25 17:44:47 +01:00
emacs.scm
embedded.scm
emulators.scm
enchant.scm
engineering.scm gnu: gerbv: Update to 2.10.0. 2023-12-05 16:41:53 -03:00
enlightenment.scm gnu: libtorrent-rasterbar: Update to 2.0.9. 2023-12-06 23:50:05 +01:00
entr.scm
erlang.scm
esolangs.scm
fabric-management.scm
fcitx.scm
fcitx5.scm
figlet.scm
file-systems.scm gnu: Add Sirikali. 2023-12-29 17:13:36 -05:00
file.scm
finance.scm gnu: bitcoin-core: Update to 26.0. 2023-12-20 10:42:23 +01:00
firmware.scm gnu: ovmf: Set target to #f. 2023-12-19 16:27:13 +02:00
flashing-tools.scm
flex.scm
fltk.scm
fonts.scm gnu: font-jetbrains-mono: Use the correct license. 2023-12-19 21:48:48 +08:00
fontutils.scm
forth.scm
fpga.scm
freedesktop.scm
freeipmi.scm
fribidi.scm
fsf.scm
ftp.scm
fvwm.scm
game-development.scm gnu: python-renpy: Update to 8.1.3. 2023-12-17 22:22:30 +01:00
games.scm
gawk.scm
gcal.scm
gcc.scm
gd.scm
gdb.scm
genealogy.scm
genimage.scm
geo.scm gnu: spatialite-tools: Update to 5.1.0a. 2023-12-29 10:30:44 +01:00
gettext.scm
ghostscript.scm
gimp.scm
gkrellm.scm
gl.scm gnu: Add glad, version 2.0.4. 2023-12-22 21:57:51 +08:00
glib.scm
gnome-xyz.scm
gnome.scm gnu: gthumb: Improve style. 2023-12-27 21:58:29 +01:00
gnu-doc.scm
gnu-pw-mgr.scm
gnucash.scm
gnunet.scm gnu: gnunet-gtk: Update to 0.20.0. 2023-12-29 10:45:45 +01:00
gnupg.scm gnu: Add torbrowser. 2023-12-27 12:13:10 +01:00
gnustep.scm
gnuzilla.scm gnu: icecat: Update to 115.6.0-guix0-preview1 [security fixes]. 2023-12-20 02:19:05 -05:00
gobby.scm
golang-check.scm
golang.scm gnu: go-1.14: Mark i586-gnu as unsupported. 2023-12-18 08:14:16 +02:00
gperf.scm
gpodder.scm
gps.scm gnu: gama: Update to 2.27 2023-12-05 10:10:17 +01:00
graph.scm
graphics.scm
graphviz.scm
groff.scm
groovy.scm
gsasl.scm
gstreamer.scm
gtk.scm gnu: at-spi2-core: Skip tests when cross-compiling. 2023-11-28 07:59:43 +02:00
guile-wm.scm
guile-xyz.scm gnu: guile-udev: Update to 0.3.0. 2023-12-29 22:45:45 -05:00
guile.scm
gv.scm
gxmessage.scm
hardware.scm gnu: ddcutil: Install pkgconfig file. 2023-12-07 01:26:25 +02:00
haskell-apps.scm
haskell-check.scm
haskell-crypto.scm
haskell-web.scm
haskell-xyz.scm
haskell.scm
haxe.scm
heads.scm
hexedit.scm
high-availability.scm
hugs.scm
hunspell.scm
hurd.scm
hyperledger.scm
i2p.scm gnu: i2pd: Update to 2.50.0. 2023-12-20 11:05:55 +01:00
ibus.scm
icu4c.scm
idris.scm
idutils.scm
image-processing.scm gnu: python-imgviz: Adjust for newer python. 2023-12-05 13:43:42 +02:00
image-viewers.scm
image.scm gnu: libmng: Fix cross-compiling to riscv64-linux. 2023-12-29 19:48:16 +01:00
imagemagick.scm
inklingreader.scm
inkscape.scm
installers.scm
instrumentation.scm
ipfs.scm
irc.scm
irods.scm
iso-codes.scm
jami.scm
java-bootstrap.scm
java-compression.scm
java-graphics.scm
java-maths.scm
java-rdf.scm
java-xml.scm
java.scm
javascript.scm gnu: Add js-datatables-1.9. 2023-12-15 16:13:07 +01:00
jemalloc.scm
jose.scm
julia-jll.scm
julia-xyz.scm
julia.scm
jupyter.scm
kawa.scm
kde-frameworks.scm
kde-games.scm
kde-internet.scm
kde-multimedia.scm
kde-pim.scm
kde-plasma.scm
kde-systemtools.scm
kde-utils.scm
kde.scm gnu: kdenlive: Update to 23.08.3. 2023-12-05 16:41:53 -03:00
kerberos.scm
kodi.scm
language.scm
ld-wrapper.in
lean.scm gnu: lean: Update to 3.51.1. 2023-12-11 23:39:05 +01:00
lego.scm
less.scm
lesstif.scm
libbsd.scm
libcanberra.scm
libdaemon.scm
libedit.scm
libevent.scm
libffcall.scm
libffi.scm
libftdi.scm
libidn.scm
libphidget.scm
libreoffice.scm
libsigsegv.scm
libunistring.scm
libunwind.scm
libusb.scm
license.scm
lighting.scm
linphone.scm
linux.scm gnu: linux-libre 5.15: Update to 5.15.145. 2023-12-29 15:06:11 -05:00
lirc.scm
lisp-check.scm
lisp-xyz.scm gnu: cl-clog: Fix build. 2023-12-29 10:27:19 +01:00
lisp.scm gnu: Adjust to removing ed.scm and nano.scm 2023-12-25 19:58:21 +02:00
llvm.scm gnu: system->llvm-target-arch: Add avr target. 2023-12-12 08:57:10 +02:00
logging.scm
logo.scm
loko.scm
lout.scm
lsof.scm
lua.scm
lxde.scm
lxqt.scm
m4.scm
machine-learning.scm gnu: tensorflow-lite: Update to 2.13.1 2023-12-22 17:47:16 +01:00
magic-wormhole.scm
mail.scm gnu: Make webkitgtk-next the new webkitgtk. 2023-12-08 20:49:29 +01:00
make-bootstrap.scm
man.scm
markup.scm
marst.scm
mastodon.scm
mate.scm gnu: Make webkitgtk-next the new webkitgtk. 2023-12-08 20:49:29 +01:00
maths.scm gnu: scotch: Update to 7.0.4 2023-12-25 17:44:48 +01:00
matrix.scm
maven-parent-pom.scm
maven.scm
mc.scm
mcrypt.scm
medical.scm
mercury.scm
mes.scm
messaging.scm
microcom.scm
minetest.scm
mingw.scm
moe.scm
mold.scm
monitoring.scm
moreutils.scm
motti.scm
mp3.scm gnu: libid3tag: Fix cross-compiling. 2023-12-29 19:48:16 +01:00
mpd.scm
mpi.scm
mtools.scm
multiprecision.scm
music.scm Merge branch 'master' into wip-webkit 2023-12-18 03:58:23 +01:00
musl.scm
myrddin.scm
ncdu.scm gnu: ncdu: Use zig-build-system. 2023-12-10 11:09:09 +08:00
ncurses.scm gnu: stfl: Fix cross-building. 2023-11-28 07:59:40 +02:00
netpbm.scm
nettle.scm
networking.scm gnu: dante: Enable preloading support. 2023-12-22 17:47:16 +01:00
nfs.scm
nickle.scm
nicotine.scm
nim.scm
ninja.scm
node-xyz.scm gnu: Add node-safe-stable-stringify. 2023-12-22 17:47:16 +01:00
node.scm gnu: node-lts: Update to 18.19.0. 2023-12-22 17:47:15 +01:00
notcurses.scm
noweb.scm
nss.scm
ntp.scm
nutrition.scm
nvi.scm
ocaml.scm gnu: Remove ocaml4.07-ppx-sexp-conv. 2023-12-30 22:12:00 +01:00
ocr.scm
onc-rpc.scm
openbox.scm
opencl.scm
opencog.scm
openkinect.scm
openldap.scm
openpgp.scm
openstack.scm
orange.scm
orpheus.scm
ots.scm
package-management.scm gnu: guix-build-coordinator: Update to 0-93.e4af682. 2023-12-22 16:41:44 +00:00
pantheon.scm
parallel.scm
pascal.scm gnu: fpc: Add support for aarch64-linux. 2023-12-16 18:05:58 +02:00
password-utils.scm gnu: argon2: Fix cross-compilation. 2023-12-23 10:47:08 +01:00
patchutils.scm gnu: Adjust to removing ed.scm and nano.scm 2023-12-25 19:58:21 +02:00
patool.scm
pciutils.scm
pcre.scm
pdf.scm gnu: Add unpaper. 2023-12-23 11:17:49 +01:00
pem.scm
pep.scm
perl-check.scm
perl-compression.scm
perl-maths.scm
perl-web.scm
perl.scm
perl6.scm
phabricator.scm
photo.scm
php-xyz.scm gnu: composer-classloader: Use copy-build-system. 2023-12-19 16:21:24 +02:00
php.scm
piet.scm
pikchr.scm
pkg-config.scm
plan9.scm
plotutils.scm
poedit.scm
polkit.scm
popt.scm
potassco.scm
presentation.scm
pretty-print.scm
printers.scm
profiling.scm
prolog.scm
protobuf.scm
pth.scm
pulseaudio.scm
pumpio.scm
pure.scm
purescript.scm
pv.scm
pypy.scm gnu: pypy: Update to 7.3.13. 2023-12-14 23:12:24 +01:00
python-build.scm
python-check.scm gnu: Add python-pytest-cookies. 2023-12-28 10:21:55 +01:00
python-compression.scm
python-crypto.scm
python-science.scm gnu: python-vaex-core: Add missing input. 2023-12-15 16:13:14 +01:00
python-web.scm gnu: python-pyscss: Adjust for newer python. 2023-12-05 15:10:33 +02:00
python-xyz.scm gnu: python-dm-tree: Fix build. 2023-12-29 17:26:17 +01:00
python.scm
qt.scm gnu: Add python-pyqtwebengine, version 6.6.0. 2023-12-22 17:47:15 +01:00
racket.scm gnu: racket: Update to 8.11.1. 2023-12-13 12:58:43 +01:00
radio.scm gnu: inspectrum: Update to 0.3.1. 2023-12-12 15:50:01 +01:00
ragel.scm
rails.scm
raspberry-pi.scm
ratpoison.scm
rcm.scm
rdesktop.scm gnu: xrdp: Update to 0.9.23.1. 2023-12-07 13:33:17 +02:00
rdf.scm
re2c.scm
readline.scm
rednotebook.scm gnu: Make webkitgtk-next the new webkitgtk. 2023-12-08 20:49:29 +01:00
regex.scm
robotics.scm
rocm.scm
rpc.scm
rpm.scm
rrdtool.scm
rsync.scm
ruby.scm
rush.scm
rust-apps.scm gnu: zoxide: Don't install the sources. 2023-11-28 07:59:43 +02:00
rust.scm gnu: rust-1.64: Don't make package public. 2023-12-13 10:08:43 +02:00
sagemath.scm
samba.scm
sawfish.scm
scanner.scm
scheme.scm
screen.scm
scribus.scm
scsi.scm
sdl.scm
search.scm
security-token.scm
selinux.scm
sequoia.scm
serialization.scm
serveez.scm
shells.scm
shellutils.scm gnu: fzy: Fix cross-compilation. 2023-12-23 17:02:04 +01:00
simh.scm
simulation.scm
skarnet.scm gnu: skalibs: Correct symlink permissions on the hurd. 2023-12-22 16:43:23 +00:00
skribilo.scm
slang.scm
smalltalk.scm
sml.scm
solidity.scm
sourcehut.scm
speech.scm
sphinx.scm
spice.scm
spreadsheet.scm
sqlite.scm
squirrel.scm
ssh.scm gnu: openssh: Update to 9.6p1 [security-fixes]. 2023-12-21 12:34:56 -05:00
sssd.scm gnu: sssd: Update to 2.9.3. 2023-12-28 10:19:17 +01:00
statistics.scm gnu: r-with-tests: Update to 4.3.2. 2023-12-16 13:06:15 +01:00
stb.scm
stenography.scm
storage.scm
suckless.scm
sugar.scm
swig.scm
sycl.scm
sync.scm
syncthing.scm gnu: Syncthing: Update to 1.27.1. 2023-12-20 19:09:15 -05:00
syndication.scm Merge branch 'wip-webkit' 2023-12-18 09:29:48 +01:00
synergy.scm
task-management.scm
task-runners.scm
tbb.scm
tcl.scm
telegram.scm gnu: Make webkitgtk-next the new webkitgtk. 2023-12-08 20:49:29 +01:00
telephony.scm
terminals.scm Merge remote-tracking branch 'origin/master' into rust-team 2023-12-10 13:25:47 +02:00
terraform.scm
tex.scm
texinfo.scm
texlive.scm
text-editors.scm Revert "gnu: ed: Update to 1.19." 2023-12-25 20:03:55 +02:00
textutils.scm
time.scm
tls.scm Revert "gnu: openssl: Don't error when targeting avr." 2023-12-12 13:58:16 +02:00
tmux.scm
toolkits.scm
tor.scm gnu: torbrowser: Change version to 13.0.8. 2023-12-28 16:25:07 +01:00
toys.scm
tree-sitter.scm
tryton.scm
tv.scm
uglifyjs.scm
uml.scm
unicode.scm
unrtf.scm
upnp.scm
usb-modeswitch.scm
uucp.scm
valgrind.scm gnu: valgrind: Mark as unsupported on i586-gnu. 2023-12-16 18:05:57 +02:00
version-control.scm gnu: Adjust to removing ed.scm and nano.scm 2023-12-25 19:58:21 +02:00
video.scm gnu: mpv: Update to 0.37.0. 2023-12-22 21:58:11 +08:00
vim.scm
virtualization.scm gnu: qemu: Update to 8.1.3. 2023-12-19 16:22:02 +02:00
vlang.scm
vnc.scm gnu: Make webkitgtk-next the new webkitgtk. 2023-12-08 20:49:29 +01:00
vpn.scm gnu: openvpn: Update to 2.6.7. 2023-12-11 23:24:19 +01:00
vulkan.scm
w3m.scm
wdiff.scm
weather.scm
web-browsers.scm gnu: Adjust to removing ed.scm and nano.scm 2023-12-25 19:58:21 +02:00
web.scm gnu: hpcguix-web: Update to 0.4.0. 2023-12-13 12:58:43 +01:00
webkit.scm gnu: webkitgtk: Update to 2.42.3. 2023-12-08 20:49:48 +01:00
wget.scm
wine.scm
wireservice.scm
wm.scm gnu: swaylock: Fix cross-compiling. 2023-12-29 19:48:16 +01:00
wordnet.scm
wv.scm
wxwidgets.scm
xdisorg.scm gnu: Add x-resize. 2023-12-29 22:46:11 -05:00
xfce.scm
xfig.scm
xiph.scm
xml.scm
xnee.scm
xorg.scm gnu: xcb-util-renderutil: Fix cross-compiling to riscv64-linux. 2023-12-29 19:48:16 +01:00
zig-xyz.scm
zig.scm
zile.scm
zwave.scm