guix/gnu/packages
Tobias Geerinckx-Rice 70c462b375
gnu: Add ghc-test-framework-smallcheck.
* gnu/packages/haskell-check.scm (ghc-test-framework-smallcheck): New public variable.
2021-07-04 16:29:15 +02:00
..
aux-files gnu: linux-libre: Build the VMD driver module. 2021-07-02 16:56:12 +02:00
patches gnu: libgrss: Fix CVE-2016-20011. 2021-07-04 03:06:03 +02:00
abduco.scm
abiword.scm
accessibility.scm
acct.scm
acl.scm
ada.scm gnu: python2-libadalang: Remove package. 2021-06-29 12:37:31 +02:00
admin.scm gnu: nmap: Update to 7.91. 2021-07-02 03:05:58 +02:00
adns.scm
agda.scm
aidc.scm
algebra.scm gnu: Add Gappa. 2021-06-23 22:29:24 -05:00
android.scm
animation.scm
anthy.scm
antivirus.scm gnu: clamav: Update to 0.103.3. 2021-06-24 00:31:52 +02:00
apl.scm
apr.scm
arcan.scm
aspell.scm
assembly.scm
astronomy.scm gnu: stellarium: Update to 0.21.1. 2021-06-28 18:04:14 +02:00
attr.scm
audio.scm gnu: Update caps-plugins-lv2. 2021-06-29 12:37:33 +02:00
augeas.scm
authentication.scm
autogen.scm
autotools.scm
avahi.scm
avr.scm
axoloti.scm
backup.scm gnu: duplicity: Update to 0.8.20. 2021-06-30 21:34:27 +02:00
base.scm
bash.scm
batik.scm
bdw-gc.scm
benchmark.scm gnu: benchmark: Update to 1.5.5. 2021-06-30 21:34:28 +02:00
bioconductor.scm gnu: Add r-cistopic-next. 2021-06-29 12:28:44 +02:00
bioinformatics.scm gnu: bioperl-minimal: Avoid top-level cross-module references. 2021-07-01 17:13:13 +02:00
bison.scm
bittorrent.scm guix: qt-build-system, qt-utils: Unify wrapping of qt-programs. 2021-07-02 16:50:09 -04:00
boost.scm
bootloaders.scm gnu: grub-efi: Only enable the stack protector on x86_64-linux. 2021-07-02 00:01:14 +01:00
bootstrap.scm
browser-extensions.scm
build-tools.scm
busybox.scm
c.scm gnu: Add pcl. 2021-06-29 10:15:49 +03:00
calcurse.scm
calendar.scm gnu: remind: Update to 3.3.7. 2021-06-29 06:25:56 +02:00
ccache.scm
cdrom.scm
cedille.scm
certs.scm gnu: Add desec-certbot-hook. 2021-06-23 12:50:57 -04:00
check.scm gnu: python2-scripttest: Remove package. 2021-06-29 12:37:32 +02:00
chemistry.scm
chez.scm
chicken.scm
chromium.scm
ci.scm
cinnamon.scm
clojure.scm
cluster.scm
cmake.scm
cobol.scm
code.scm
commencement.scm
compression.scm gnu: libzip: Support Zstandard. 2021-07-01 20:42:13 +02:00
compton.scm
configuration-management.scm
conky.scm
connman.scm gnu: connman: Update to 1.40. 2021-06-25 19:02:35 +02:00
convmv.scm
cook.scm
coq.scm
cpio.scm
cpp.scm gnu: magic-enum: Update to 0.7.3. 2021-07-02 19:30:41 +02:00
cppi.scm
cran.scm gnu: Add r-mcmcpack. 2021-07-01 16:05:25 +02:00
crates-graphics.scm
crates-gtk.scm
crates-io.scm gnu: rust-stackvector-1: Don't skip build. 2021-06-27 12:49:44 +03:00
cross-base.scm
crypto.scm
cryptsetup.scm
cups.scm gnu: epson-inkjet-printer-escpr: Update to 1.7.12. 2021-06-30 21:34:27 +02:00
curl.scm
cvassistant.scm
cybersecurity.scm
cyrus-sasl.scm
databases.scm gnu: perl-sql-splitstatement: Update to 1.00023. 2021-07-02 03:05:58 +02:00
datamash.scm
datastructures.scm
dav.scm
dbm.scm
dc.scm
debian.scm
debug.scm
dejagnu.scm
dhall.scm
dico.scm
dictionaries.scm
diffoscope.scm
digest.scm
direct-connect.scm
disk.scm
display-managers.scm
distributed.scm gnu: boinc-client, boinc-server: Update to 7.16.17. 2021-07-02 03:05:58 +02:00
django.scm
djvu.scm
dlang.scm
dns.scm
docbook.scm
docker.scm
documentation.scm
drones.scm
dunst.scm
dvtm.scm
easyrpg.scm
ebook.scm
ed.scm
education.scm gnu: fet: Update to 6.0.4. 2021-07-04 08:57:03 +02:00
efi.scm
electronics.scm
elf.scm
elixir.scm
elm.scm
emacs-xyz.scm gnu: emacs-spinner: Fix source URL. 2021-07-04 14:42:14 +02:00
emacs.scm
embedded.scm
emulators.scm gnu: mame: Update to 0.233. 2021-07-02 11:00:09 +02:00
enchant.scm
engineering.scm gnu: libredwg: Update to 0.12.4. 2021-06-25 18:42:50 +02:00
enlightenment.scm
entr.scm
erlang.scm gnu: Fix references to emacs-build-system's expand-load-path phase. 2021-06-23 09:08:41 +02:00
esolangs.scm
fabric-management.scm
fcitx.scm
fcitx5.scm
figlet.scm
file-systems.scm gnu: exfat-utils: Move to (gnu packages file-systems). 2021-06-25 18:42:49 +02:00
file.scm
finance.scm guix: qt-build-system, qt-utils: Unify wrapping of qt-programs. 2021-07-02 16:50:09 -04:00
firmware.scm
flashing-tools.scm
flex.scm
fltk.scm
fonts.scm
fontutils.scm gnu: fcft: Update to 2.4.1. 2021-07-01 20:42:13 +02:00
forth.scm
fpga.scm gnu: gtkwave: Update to 3.3.110. 2021-07-01 03:25:02 +02:00
freedesktop.scm
freeipmi.scm
fribidi.scm
ftp.scm gnu: libfilezilla: Update to 0.29.0. 2021-07-02 18:59:05 +02:00
fvwm.scm
game-development.scm gnu: tsukundere: Update to 0.3.2. 2021-07-02 14:33:14 +02:00
games.scm gnu: burgerspace: Update to 1.9.4. 2021-07-04 09:00:04 +02:00
gawk.scm
gcal.scm
gcc.scm gnu: Add gccgo-10. 2021-06-28 22:19:48 +03:00
gd.scm
gdb.scm
genealogy.scm
genimage.scm
geo.scm guix: qt-build-system, qt-utils: Unify wrapping of qt-programs. 2021-07-02 16:50:09 -04:00
gettext.scm gnu: po4a: Update to 0.63. 2021-07-02 01:28:21 +02:00
ghostscript.scm
gimp.scm
gkrellm.scm
gl.scm
glib.scm
gnome-xyz.scm
gnome.scm gnu: libgrss: Fix CVE-2016-20011. 2021-07-04 03:06:03 +02:00
gnu-doc.scm
gnu-pw-mgr.scm
gnucash.scm
gnunet.scm
gnupg.scm
gnustep.scm
gnuzilla.scm gnu: icedove: Add WebAuthn support. 2021-06-23 23:07:01 +02:00
gobby.scm
golang.scm gnu: Add go-github-com-gizak-termui. 2021-07-03 15:01:06 +02:00
gperf.scm
gpodder.scm gnu: gpodder: Update to 3.10.20. 2021-06-25 13:27:11 +02:00
gps.scm
graph.scm gnu: python2-plotly: Remove package. 2021-06-29 12:37:32 +02:00
graphics.scm gnu: egl-wayland: Update to 1.1.7. 2021-06-29 06:25:56 +02:00
graphviz.scm
groff.scm
groovy.scm
gsasl.scm
gstreamer.scm
gtk.scm
guile-wm.scm
guile-xyz.scm
guile.scm
gv.scm
gxmessage.scm
hardware.scm gnu: Add ddcui. 2021-07-03 17:57:27 +02:00
haskell-apps.scm gnu: corrode: Better construct version number. 2021-07-04 01:14:03 +02:00
haskell-check.scm gnu: Add ghc-test-framework-smallcheck. 2021-07-04 16:29:15 +02:00
haskell-crypto.scm
haskell-web.scm
haskell-xyz.scm gnu: Add ghc-finite-typelits. 2021-07-04 16:29:14 +02:00
haskell.scm
heads.scm
hexedit.scm
hugs.scm
hunspell.scm gnu: hunspell-dictionary: Update to 7.1.4.2. 2021-06-29 09:35:34 +03:00
hurd.scm
hyperledger.scm
i2p.scm
ibus.scm
icu4c.scm
idris.scm
idutils.scm
image-processing.scm gnu: Add labelme. 2021-06-25 08:28:51 +02:00
image-viewers.scm Revert "gnu: Add ytfzf." 2021-06-28 17:56:33 -04:00
image.scm gnu: jasper: Update to 2.0.32. 2021-07-02 07:47:19 +02:00
imagemagick.scm
inklingreader.scm
inkscape.scm
installers.scm
ipfs.scm
irc.scm gnu: srain: Update to 1.2.3. 2021-06-28 18:04:16 +02:00
irods.scm
iso-codes.scm
jami.scm gnu: jami-qt: Add support for desktop notifications. 2021-06-27 12:45:58 +03:00
java-compression.scm
java-graphics.scm
java-maths.scm
java.scm gnu: java-kafka-clients: Disable failing test. 2021-06-22 14:27:20 +02:00
javascript.scm
jemalloc.scm
jose.scm
jrnl.scm
julia-jll.scm
julia-xyz.scm
julia.scm
jupyter.scm
kawa.scm
kde-frameworks.scm
kde-internet.scm
kde-multimedia.scm
kde-pim.scm
kde-plasma.scm
kde-systemtools.scm
kde-utils.scm gnu: rsibreak: Update to 0.12.14. 2021-07-02 07:14:10 +02:00
kde.scm gnu: krita: Update to 4.4.5. 2021-06-25 13:27:11 +02:00
kerberos.scm
key-mon.scm
kodi.scm
language.scm gnu: hime: Import qt-utils. 2021-07-04 15:29:27 +02:00
ld-wrapper.in
lean.scm
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 gnu: hunspell-dictionary: Update to 7.1.4.2. 2021-06-29 09:35:34 +03:00
libsigsegv.scm
libunistring.scm
libunwind.scm
libusb.scm
license.scm
lighting.scm
linphone.scm
linux.scm gnu: vhba-module: Expand description. 2021-07-02 07:47:19 +02:00
lirc.scm
lisp-check.scm gnu: Add cl-nst. 2021-06-24 14:22:09 +02:00
lisp-xyz.scm gnu: Add cl-issr-core. 2021-07-03 14:27:37 +02:00
lisp.scm gnu: cl-asdf: Update to 3.3.5. 2021-07-03 14:10:41 +02:00
llvm.scm
logging.scm
logo.scm
loko.scm
lout.scm
lsof.scm
lua.scm gnu: emilua: Update to 0.3.2. 2021-06-22 10:54:16 +02:00
lxde.scm
lxqt.scm
m4.scm
machine-learning.scm
magic-wormhole.scm
mail.scm gnu: alpine: Update to 2.24.2. 2021-07-02 08:54:55 +02:00
make-bootstrap.scm
man.scm gnu: man-pages: Update to 5.12. 2021-06-29 05:18:51 +02:00
markup.scm
marst.scm
mastodon.scm
mate.scm
maths.scm gnu: atlas: Extend build time-out. 2021-07-02 20:51:43 +02:00
matrix.scm
maven-parent-pom.scm
maven.scm gnu: maven-enforcer-parent-pom: Fix pom. 2021-06-22 13:10:45 +02:00
mc.scm
mcrypt.scm
medical.scm
mercury.scm
mes.scm gnu: nyacc: Add final upstream description line, too. 2021-06-28 08:09:15 +02:00
messaging.scm
microcom.scm
mingw.scm
moe.scm
monitoring.scm
mono.scm
moreutils.scm
motti.scm
mp3.scm
mpd.scm gnu: mpd: Update to 0.22.9. 2021-06-25 13:27:11 +02:00
mpi.scm
mtools.scm gnu: exfat-utils: Move to (gnu packages file-systems). 2021-06-25 18:42:49 +02:00
multiprecision.scm
music.scm gnu: gsequencer: Update to 3.8.13. 2021-07-02 09:27:07 +02:00
musl.scm
nano.scm
ncdu.scm
ncurses.scm
netpbm.scm
nettle.scm
networking.scm gnu: blueman: Update to 2.2.1. 2021-07-03 22:20:22 +02:00
nfs.scm
nickle.scm
nicotine.scm
nim.scm
ninja.scm
node-xyz.scm
node.scm
noweb.scm
nss.scm
ntp.scm
nutrition.scm
nvi.scm
ocaml.scm gnu: Add ocaml-cohttp. 2021-06-27 15:15:41 +02: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: Update to 6243ad3. 2021-07-03 02:00:11 +02:00
pantheon.scm
parallel.scm gnu: parallel: Update to 20210622. 2021-06-25 00:39:38 +02:00
pascal.scm gnu: fpc: Update to 3.2.2. 2021-06-24 02:29:13 +02:00
password-utils.scm gnu: keepassxc: Fix WRAP-QT-PROGRAM call. 2021-07-03 15:05:44 +02:00
patchutils.scm
pciutils.scm
pcre.scm
pdf.scm
pem.scm
pep.scm
perl-check.scm
perl-compression.scm
perl-maths.scm
perl-web.scm
perl.scm
perl6.scm
phabricator.scm
photo.scm gnu: photoflare: Update to 1.6.9. 2021-06-29 05:18:50 +02:00
php.scm gnu: php: Build sodium. 2021-06-26 22:46:09 +02:00
piet.scm
pkg-config.scm
plotutils.scm
poedit.scm
polkit.scm
popt.scm
presentation.scm
pretty-print.scm
printers.scm
profiling.scm
prolog.scm
protobuf.scm gnu: protobuf: Update to 3.17.3. 2021-07-02 16:50:08 -04:00
pth.scm
pulseaudio.scm
pumpio.scm
pure.scm
purescript.scm
pv.scm
python-build.scm
python-check.scm
python-compression.scm
python-crypto.scm gnu: python2-roca-detect: Remove package. 2021-06-29 12:37:32 +02:00
python-science.scm gnu: python-numpy, python-scipy: Remove dependency on lapack. 2021-06-22 17:55:05 +02:00
python-web.scm gnu: python2-wsgiproxy2: Remove package. 2021-06-29 12:37:33 +02:00
python-xyz.scm gnu: python-k5test: Apply unreleased upstream fix. 2021-06-30 10:18:51 +02:00
python.scm
qt.scm gnu: qt5ct: Import all qt-build-system-modules. 2021-07-04 09:39:25 +02:00
racket.scm
radio.scm gnu: fldigi: Update to 4.1.19. 2021-07-01 17:29:07 +02:00
ragel.scm
rails.scm
raspberry-pi.scm
ratpoison.scm
rcm.scm
rdesktop.scm
rdf.scm
re2c.scm
readline.scm gnu: rlwrap: Update to 0.45.2. 2021-06-25 00:39:38 +02:00
rednotebook.scm
regex.scm
robotics.scm
rpc.scm gnu: grpc-1.16.1: Build with older protobuf. 2021-07-04 14:42:30 +03:00
rrdtool.scm
rsync.scm
ruby.scm gnu: Add ruby-taskjuggler. 2021-06-26 23:39:18 +02:00
rush.scm
rust-apps.scm
rust.scm
sagemath.scm
samba.scm
sawfish.scm
scanner.scm
scheme.scm
screen.scm
scribus.scm
scsi.scm
sdl.scm
search.scm
security-token.scm gnu: ausweisapp2: Fix WRAP-QT-PROGRAM call. 2021-07-03 15:04:00 +02:00
selinux.scm
sequoia.scm
serialization.scm
serveez.scm
shells.scm Really revert commit a8b705252b. 2021-06-29 06:44:12 +02:00
shellutils.scm gnu: zsh-autosuggestions: Update to 0.7.0. 2021-07-04 12:48:51 +02:00
simh.scm
simulation.scm gnu: Add python-meshio. 2021-07-02 12:17:34 +01:00
skarnet.scm
skribilo.scm
slang.scm
smalltalk.scm
sml.scm
speech.scm
sphinx.scm
spice.scm
sqlite.scm
squirrel.scm
ssh.scm
sssd.scm
stalonetray.scm
statistics.scm gnu: python-rpy2: Update to 3.4.5. 2021-06-26 22:49:10 +02:00
stb.scm
stenography.scm
storage.scm
suckless.scm
swig.scm
sync.scm
syncthing.scm
syndication.scm
synergy.scm
task-management.scm
task-runners.scm
tbb.scm
tcl.scm
telegram.scm
telephony.scm
terminals.scm
terraform.scm
tex.scm gnu: Add texlive-latex-ebproof. 2021-06-26 22:55:06 +02:00
texinfo.scm
text-editors.scm gnu: scintilla: Update to 5.1.0. 2021-07-02 11:04:15 +02:00
textutils.scm
time.scm
tls.scm gnu: mbedtls-apache: Update home page. 2021-07-03 22:47:39 +02:00
tmux.scm gnu: python-libtmux: Update to 0.10.1. 2021-06-23 23:35:27 +02:00
tor.scm gnu: tor: Update to 0.4.6.6. 2021-06-30 20:02:32 +03:00
toys.scm gnu: cbonsai: Update to 1.2.1. 2021-06-30 21:34:28 +02:00
tryton.scm
tv.scm
uml.scm
unicode.scm
unrtf.scm
upnp.scm
usb-modeswitch.scm
uucp.scm
valgrind.scm
version-control.scm
video.scm guix: qt-build-system, qt-utils: Unify wrapping of qt-programs. 2021-07-02 16:50:09 -04:00
vim.scm gnu: vim-guix-vim: Update to 0.2.1. 2021-07-01 14:53:09 +03:00
virtualization.scm gnu: libvirt: Work around broken SASL option. 2021-07-04 01:14:03 +02:00
visidata.scm
vlang.scm
vnc.scm gnu: remmina: Update to 1.4.19. 2021-07-01 03:25:01 +02:00
vpn.scm gnu: strongswan: Invoke absolute file names in ‘ipsec’ launcher. 2021-06-25 00:39:38 +02:00
vulkan.scm
w3m.scm
wdiff.scm
web-browsers.scm guix: qt-build-system, qt-utils: Unify wrapping of qt-programs. 2021-07-02 16:50:09 -04:00
web.scm gnu: goaccess: Update to 1.5.1. 2021-06-30 21:34:28 +02:00
webkit.scm
wget.scm
wicd.scm
wine.scm
wireservice.scm
wm.scm gnu: fnott: Update to 1.1.0. 2021-07-01 20:42:13 +02:00
wordnet.scm
wv.scm
wxwidgets.scm gnu: wxsvg: Update to 1.5.22. 2021-07-02 20:12:00 +02:00
xdisorg.scm
xfce.scm
xfig.scm
xiph.scm
xml.scm
xnee.scm
xorg.scm gnu: Add xkbprint. 2021-06-28 18:04:15 +02:00
zile.scm
zwave.scm