guix/gnu/packages
Efraim Flashner 775373b872
gnu: coq-bignums: Don't use unstable tarball.
* gnu/pacakges/coq.scm (coq-bignums)[source]: Download using git-fetch.
2019-11-25 14:08:31 +02:00
..
aux-files gnu: emacs: Adapt the autoloads auxiliary code to use EMACSLOADPATH. 2019-11-18 14:34:41 +09:00
patches gnu: xsane: Fix snprintf buffer length. 2019-11-22 22:16:32 +01:00
abduco.scm
abiword.scm
accessibility.scm
acct.scm
acl.scm
ada.scm
admin.scm gnu: isc-dhcp: Update bundled BIND to 9.11.13 [fixes CVE-2019-6477]. 2019-11-20 20:36:04 -05:00
adns.scm
agda.scm gnu: agda: Update to 2.6.0.1. 2019-11-20 20:48:50 -05:00
aidc.scm
algebra.scm
android.scm
animation.scm
anthy.scm
antivirus.scm
apl.scm
apr.scm
arcan.scm
aspell.scm
assembly.scm
astronomy.scm
attr.scm
audio.scm gnu: Add ecasound. 2019-11-21 07:46:35 -05:00
augeas.scm
authentication.scm
autogen.scm
autotools.scm
avahi.scm
avr.scm
axoloti.scm
backup.scm gnu: restic: Update to 0.9.6. 2019-11-24 13:32:58 +01:00
base.scm
bash.scm
batik.scm
bdw-gc.scm
benchmark.scm
bioconductor.scm
bioinformatics.scm gnu: bioperl-minimal: Don't use unstable tarball. 2019-11-25 14:08:31 +02:00
bison.scm
bittorrent.scm
boost.scm
bootloaders.scm
bootstrap.scm
build-tools.scm gnu: bear: Update to 2.4.2. 2019-11-22 22:46:54 +01:00
busybox.scm
c.scm gnu: libbytesize: Update to 2.1. 2019-11-22 00:22:10 +01:00
calcurse.scm
calendar.scm
ccache.scm
cdrom.scm
cedille.scm gnu: cedille: Use most recent GHC. 2019-11-20 20:48:50 -05:00
certs.scm
check.scm gnu: cppcheck: Update to 1.89. 2019-11-13 10:13:19 +02:00
chemistry.scm gnu: nmoldyn: New source code location. 2019-11-21 11:48:30 +01:00
chez.scm
chromium.scm gnu: ungoogled-chromium: Update to 78.0.3904.108-0.8f06513 [security fixes]. 2019-11-21 22:41:44 +01:00
ci.scm
cinnamon.scm gnu: cinnamon-desktop: Don't use unstable tarball. 2019-11-25 14:08:30 +02:00
clojure.scm
cluster.scm
cmake.scm gnu: CMake: Add version 3.15.5. 2019-11-15 19:09:13 +01:00
cobol.scm
code.scm
commencement.scm
compression.scm gnu: innoextract: Update to 1.8. 2019-11-25 14:08:31 +02:00
compton.scm
conky.scm
connman.scm
cook.scm
coq.scm gnu: coq-bignums: Don't use unstable tarball. 2019-11-25 14:08:31 +02:00
cpio.scm
cpp.scm gnu: json-modern-cxx: Update to 3.7.3. 2019-11-21 22:41:44 +01:00
cppi.scm
cran.scm gnu: r-biocmanager: Update to 1.30.10. 2019-11-23 02:00:41 +01:00
crates-io.scm
cross-base.scm
crypto.scm gnu: perl-crypt-random-source: Update to 0.14. 2019-11-23 20:40:24 +01:00
cryptsetup.scm
cups.scm
curl.scm
cvassistant.scm
cyrus-sasl.scm
databases.scm
datamash.scm
datastructures.scm gnu: sparsehash: Don't use unstable tarball. 2019-11-25 14:08:30 +02:00
dav.scm
dbm.scm
dc.scm
debian.scm
debug.scm
dejagnu.scm
dico.scm
dictionaries.scm
diffoscope.scm gnu: diffoscope: Update to 131. 2019-11-23 18:55:46 -08:00
digest.scm
direct-connect.scm
disk.scm
display-managers.scm
distributed.scm
django.scm gnu: python-django-pipeline: Fix tests. 2019-11-23 15:40:12 +01:00
djvu.scm
dlang.scm
dns.scm gnu: bind: Update to 9.14.8 [fixes CVE-2019-6477]. 2019-11-20 21:13:55 +01:00
docbook.scm
docker.scm
documentation.scm
dunst.scm
dvtm.scm
easyrpg.scm
ebook.scm
ed.scm
education.scm
efi.scm
electronics.scm
elf.scm
elixir.scm gnu: elixir: Update to 1.9.4. 2019-11-16 23:10:24 +02:00
elm.scm gnu: elm-compiler: Fix Cabal dependency constraints. 2019-11-20 20:48:50 -05:00
emacs-xyz.scm gnu: Add emacs-openwith. 2019-11-21 22:41:45 +01:00
emacs.scm gnu: emacs: Locate Elisp libraries via EMACSLOADPATH. 2019-11-18 14:34:40 +09:00
embedded.scm
emulators.scm gnu: mame: Fix build on i686. 2019-11-21 16:37:40 +01:00
enchant.scm
engineering.scm gnu: freecad: Update to 0.18.4. 2019-11-15 13:50:03 +01:00
enlightenment.scm gnu: efl: Update to 1.23.2. 2019-11-13 21:12:38 +02:00
entr.scm
erlang.scm gnu: emacs-erlang: Rename the set-emacs-load-path phase. 2019-11-19 13:07:06 +09:00
fabric-management.scm gnu: ucx: Avoid relying on /sys/class/net. 2019-11-16 17:43:49 +01:00
fcitx.scm
figlet.scm
file-systems.scm
file.scm
finance.scm gnu: monero-gui: Update to 0.15.0.1. 2019-11-21 22:41:45 +01:00
firmware.scm
flashing-tools.scm gnu: uefitool: Update to 0.26.0. 2019-11-20 10:02:47 +02:00
flex.scm
fltk.scm
fonts.scm gnu: Add font-dseg. 2019-11-19 10:51:53 +01:00
fontutils.scm
forth.scm
fpga.scm
freedesktop.scm
freeipmi.scm
fribidi.scm
ftp.scm
fvwm.scm
game-development.scm gnu: openvr: Update to 1.8.19. 2019-11-12 18:17:37 +01:00
games.scm gnu: bambam: Update to 1.0.0. 2019-11-24 13:32:58 +01:00
gawk.scm
gcal.scm
gcc.scm
gd.scm
gdb.scm
genealogy.scm
genimage.scm
geo.scm gnu: Add josm. 2019-11-13 22:49:55 +01:00
gettext.scm
ghostscript.scm
gimp.scm
gkrellm.scm
gl.scm
glib.scm
gnome-xyz.scm
gnome.scm gnu: vte: Update to 0.58.3. 2019-11-24 01:19:56 +01:00
gnu-doc.scm
gnu-pw-mgr.scm
gnucash.scm
gnunet.scm gnu: gnunet-gtk: Sort inputs alphabetically. 2019-11-25 14:08:29 +02:00
gnupg.scm
gnustep.scm
gnuzilla.scm
gobby.scm
golang.scm gnu: go: Update to 1.12.13 [fixes CVE-2019-17596]. 2019-11-12 17:25:41 -06:00
gperf.scm
gpodder.scm
gprolog.scm
gps.scm
graph.scm
graphics.scm
graphviz.scm
groff.scm
groovy.scm
gsasl.scm
gstreamer.scm
gtk.scm gnu: perl-cairo: Update to 1.107. 2019-11-23 15:40:10 +01:00
guile-wm.scm
guile-xyz.scm gnu: Add guile-semver. 2019-11-23 00:53:39 -05:00
guile.scm gnu: guile-sqlite3: Add "guile3.0-sqlite3" variant. 2019-11-23 22:45:21 +01:00
gv.scm
gxmessage.scm
ham-radio.scm
hardware.scm
haskell-apps.scm gnu: kmonad: Update to 0.3.0. 2019-11-21 10:38:42 -06:00
haskell-check.scm gnu: Add ghc-testing-feat. 2019-11-20 20:48:52 -05:00
haskell-crypto.scm gnu: ghc-cryptohash-sha256: Update Cabal file to r3. 2019-11-20 20:48:39 -05:00
haskell-web.scm gnu: ghc-bsb-http-chunked: Disable tests on i686-linux. 2019-11-20 20:48:48 -05:00
haskell-xyz.scm gnu: ghc-foundation: Disable broken test. 2019-11-20 20:48:55 -05:00
haskell.scm gnu: Use GHC 8.6.5 as the main Haskell compiler. 2019-11-20 20:47:48 -05:00
hexedit.scm
hugs.scm
hurd.scm
hyperledger.scm
i2p.scm
ibus.scm
icu4c.scm
idris.scm gnu: idris: Fix Cabal dependency constraints. 2019-11-20 20:48:50 -05:00
idutils.scm
image-processing.scm
image-viewers.scm
image.scm gnu: imlib2: Sort inputs alphabetically. 2019-11-25 14:08:29 +02:00
imagemagick.scm
inklingreader.scm
inkscape.scm
installers.scm
ipfs.scm
irc.scm
iso-codes.scm
java-compression.scm
java-maths.scm
java.scm gnu: Add java-commons-jcs. 2019-11-13 22:49:39 +01:00
javascript.scm
jemalloc.scm
jose.scm
jrnl.scm
julia.scm
jupyter.scm
kawa.scm
kde-frameworks.scm
kde-plasma.scm
kde.scm
kerberos.scm
key-mon.scm
kodi.scm
language.scm
ld-wrapper.in
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 gnu: libplist: Update to 2.1.0. 2019-11-22 00:22:10 +01:00
license.scm
lighting.scm
linux.scm gnu: libseccomp: Fix build on AArch64. 2019-11-22 15:13:25 +01:00
lirc.scm
lisp.scm
llvm.scm gnu: Add llvm-9, clang-9 and clang-toolchain-9. 2019-11-20 16:58:47 +01:00
logging.scm
logo.scm
lolcode.scm
lout.scm
lsof.scm
lua.scm
lxde.scm
lxqt.scm
m4.scm
machine-learning.scm
magic-wormhole.scm
mail.scm gnu: perl-mail-dkim: Update to 0.58. 2019-11-14 18:01:40 +01:00
make-bootstrap.scm
man.scm gnu: man-pages: Update to 5.04. 2019-11-22 00:22:10 +01:00
markup.scm gnu: cmark: Update to 0.29.0. 2019-11-20 10:02:48 +02:00
marst.scm
mastodon.scm
mate.scm
maths.scm gnu: wxmaxima: Update to 19.11.1. 2019-11-23 15:33:14 -05:00
maven.scm
mc.scm
mcrypt.scm
medical.scm
mes.scm gnu: Add m2-planet. 2019-11-14 16:41:55 +01:00
messaging.scm gnu: hangups: Update to 0.4.10. 2019-11-23 01:06:39 +01:00
microcom.scm
mingw.scm
moe.scm
monitoring.scm
mono.scm
moreutils.scm
motti.scm
mp3.scm
mpd.scm gnu: ashuffle: Fix typo. 2019-11-23 16:01:25 -05:00
mpi.scm gnu: hwloc: Adjust references to 'hwloc'. 2019-11-19 11:32:48 +01:00
mtools.scm
multiprecision.scm
music.scm gnu: musescore: Update to 3.3.2. 2019-11-21 17:10:25 +01:00
musl.scm
nano.scm
ncdu.scm
ncurses.scm
netpbm.scm
nettle.scm
networking.scm
nfs.scm
nickle.scm
nim.scm
ninja.scm
node.scm
noweb.scm
nss.scm
ntp.scm
nutrition.scm
nvi.scm
ocaml.scm gnu: ocaml-odoc: Update to 1.4.2. 2019-11-23 01:06:39 +01:00
ocr.scm
onc-rpc.scm
openbox.scm
opencl.scm gnu: hwloc: Update to 2.1.0. 2019-11-15 17:52:45 +01:00
openldap.scm
openstack.scm
orpheus.scm
ots.scm
package-management.scm gnu: msitools: Update to 0.100. 2019-11-14 18:01:40 +01:00
parallel.scm gnu: parallel: Update to 20191122. 2019-11-23 16:29:31 +01:00
password-utils.scm gnu: libpwquality: Update to 1.4.2. 2019-11-22 00:22:09 +01:00
patchutils.scm
pciutils.scm
pcre.scm
pdf.scm
pem.scm
perl-check.scm gnu: perl-test-simple: Update to 1.302169. 2019-11-24 13:32:58 +01:00
perl-compression.scm gnu: perl-archive-zip: Update to 1.67. 2019-11-12 20:10:55 +01:00
perl-web.scm
perl.scm gnu: perl-date-manip: Update to 6.78. 2019-11-23 20:40:24 +01:00
perl6.scm
phabricator.scm
photo.scm
php.scm gnu: php: Update to 7.3.12. 2019-11-22 19:47:46 +01:00
pkg-config.scm
plotutils.scm
poedit.scm
polkit.scm
popt.scm
pretty-print.scm
printers.scm gnu: brlaser: Update to 6. 2019-11-20 00:16:51 +01:00
profiling.scm
protobuf.scm gnu: emacs-protobuf-mode: Rename the set-emacs-load-path phase. 2019-11-19 13:11:16 +09:00
pth.scm
pulseaudio.scm
pumpio.scm
pure.scm
pv.scm
python-check.scm
python-compression.scm
python-crypto.scm gnu: Add python-mcuboot-imgtool. 2019-11-19 16:09:13 +01:00
python-web.scm
python-xyz.scm gnu: python-whatever: Update to 0.6. 2019-11-23 15:40:10 +01:00
python.scm gnu: Add python-3.8. 2019-11-20 00:16:51 +01:00
qt.scm gnu: dotherside: Update to 0.6.4. 2019-11-13 21:43:34 +02:00
ragel.scm
rails.scm
ratpoison.scm
rdesktop.scm
rdf.scm
re2c.scm
readline.scm
rednotebook.scm
regex.scm
robotics.scm
rrdtool.scm
rsync.scm gnu: librsync: Update to 2.2.1. 2019-11-13 12:49:21 +02:00
ruby.scm gnu: ruby-jaro-winkler: Update to 1.5.4. 2019-11-24 01:19:56 +01:00
rush.scm
rust-cbindgen.scm
rust.scm
sagemath.scm
samba.scm gnu: iniparser: Don't use unstable tarball. 2019-11-13 21:46:30 +02:00
sawfish.scm
scanner.scm gnu: xsane: Fix snprintf buffer length. 2019-11-22 22:16:32 +01:00
scheme.scm
screen.scm
scribus.scm
scsi.scm
sdcc.scm
sdl.scm gnu: sdl2: Add libxcursor to inputs. 2019-11-24 03:35:36 +03:00
search.scm
security-token.scm
selinux.scm
serialization.scm gnu: jsoncpp: Update to 1.9.2. 2019-11-21 22:41:44 +01:00
serveez.scm
shells.scm
shellutils.scm gnu: Add shell-functools. 2019-11-24 09:31:26 +03:00
simh.scm
simulation.scm
skarnet.scm
skribilo.scm
slang.scm
smalltalk.scm
sml.scm gnu: polyml: Use HTTPS home page URI. 2019-11-22 22:53:39 +01:00
speech.scm gnu: sonic: Don't use unstable tarball. 2019-11-13 22:07:52 +02:00
sphinx.scm gnu: python-sphinx-gallery: Don't use unstable tarball. 2019-11-13 22:10:44 +02:00
spice.scm gnu: spice-gtk: Build with vala support. 2019-11-19 09:25:12 +02:00
sqlite.scm
squirrel.scm
ssh.scm gnu: guile-ssh: Add "guile3.0-ssh" variant. 2019-11-23 12:39:20 +01:00
sssd.scm
stalonetray.scm
statistics.scm gnu: r-roxygen2: Update to 7.0.1. 2019-11-23 02:00:40 +01:00
stb.scm
storage.scm
suckless.scm
swig.scm
sync.scm
syncthing.scm
syndication.scm
synergy.scm
task-management.scm
tbb.scm
tcl.scm
telephony.scm gnu: libsrtp: Don't use unstable tarball. 2019-11-13 22:25:47 +02:00
terminals.scm
terraform.scm
tex.scm gnu: texlive-latex-pdfx: Declare source file-name. 2019-11-13 12:49:23 +02:00
texinfo.scm
text-editors.scm gnu: vis: Don't use unstable tarball. 2019-11-13 22:33:58 +02:00
textutils.scm gnu: pfff: Don't use unstable tarball. 2019-11-13 22:59:29 +02:00
tigervnc.scm
time.scm
tls.scm gnu: gnutls: Add "guile3.0-gnutls" variant. 2019-11-23 22:45:21 +01:00
tmux.scm
tor.scm
toys.scm
tryton.scm
tv.scm
uml.scm
unrtf.scm
upnp.scm
usb-modeswitch.scm
uucp.scm
valgrind.scm
version-control.scm
video.scm
vim.scm gnu: vim-neocomplete: Don't use unstable tarball. 2019-11-13 21:36:00 +02:00
virtualization.scm gnu: lxc: Adjust for GCC 7. 2019-11-21 22:41:45 +01:00
vpn.scm gnu: ocproxy: Don't use unstable tarball. 2019-11-13 21:10:24 +02:00
vulkan.scm
w3m.scm
wdiff.scm
web-browsers.scm gnu: links: Update to 2.20.2. 2019-11-14 10:45:51 +02:00
web.scm gnu: jo: Update to 1.3. 2019-11-24 05:14:52 +03:00
webkit.scm
wget.scm
wicd.scm
wine.scm
wireservice.scm
wm.scm gnu: Update xmobar to 0.31. 2019-11-20 20:48:51 -05:00
wordnet.scm
wv.scm
wxwidgets.scm
xdisorg.scm gnu: Add redshift-wayland 2019-11-16 17:43:49 +01:00
xfce.scm
xfig.scm
xiph.scm
xml.scm gnu: minixml: Adjust to updated upstream tarball. 2019-11-13 15:56:53 +01:00
xnee.scm
xorg.scm
zile.scm
zwave.scm