Amin Bandali 6654f8c144 gnu: z3: Update to 4.8.4. ... * gnu/packages/maths.scm (z3): Update to 4.8.4. Signed-off-by: Leo Famulari <leo@famulari.name>		2019-01-18 11:12:59 -05:00
..
aux-files	…
bootstrap	…
patches	gnu: OpenSSH: Fix CVE-2018-20685.	2019-01-17 14:02:04 -05:00
abduco.scm	…
abiword.scm	…
accessibility.scm	…
acct.scm	…
acl.scm	…
ada.scm	…
admin.scm	…
adns.scm	…
agda.scm	…
aidc.scm	…
algebra.scm	…
android.scm	gnu: Separate Python core packages from the rest.	2019-01-15 14:46:44 +01:00
animation.scm	…
anthy.scm	…
antivirus.scm	…
apl.scm	…
apr.scm	…
aspell.scm	…
assembly.scm	…
astronomy.scm	…
attr.scm	…
audio.scm	…
augeas.scm	…
authentication.scm	…
autogen.scm	…
autotools.scm	…
avahi.scm	…
avr.scm	…
axoloti.scm	…
backup.scm	…
base.scm	…
bash.scm	…
batik.scm	…
bdw-gc.scm	…
benchmark.scm	…
bioconductor.scm	…
bioinformatics.scm	…
bison.scm	…
bittorrent.scm	…
boost.scm	…
bootloaders.scm	…
bootstrap.scm	…
build-tools.scm	…
busybox.scm	…
c.scm	…
calcurse.scm	…
calendar.scm	…
ccache.scm	…
cdrom.scm	…
certs.scm	…
check.scm	…
chemistry.scm	…
chez.scm	…
ci.scm	…
cinnamon.scm	…
clojure.scm	…
cluster.scm	…
cmake.scm	…
cobol.scm	…
code.scm	…
commencement.scm	…
compression.scm	…
compton.scm	gnu: Switch from xproto to xorgproto.	2018-03-18 00:16:52 +01:00
conky.scm	…
connman.scm	…
cook.scm	…
coq.scm	…
cpio.scm	…
cpp.scm	…
cppi.scm	…
cran.scm	…
cross-base.scm	…
crypto.scm	…
cryptsetup.scm	…
cups.scm	…
curl.scm	…
cyrus-sasl.scm	…
databases.scm	…
datamash.scm	…
datastructures.scm	…
dav.scm	…
dbm.scm	…
dc.scm	…
debian.scm	…
debug.scm	…
dejagnu.scm	…
dico.scm	…
dictionaries.scm	…
digest.scm	…
direct-connect.scm	…
disk.scm	…
display-managers.scm	…
django.scm	…
djvu.scm	…
dlang.scm	…
dns.scm	…
docbook.scm	…
docker.scm	…
documentation.scm	gnu: Remove GCC ICE workarounds.	2018-08-22 18:01:09 +02:00
dunst.scm	…
dvtm.scm	…
easyrpg.scm	…
ebook.scm	…
ed.scm	…
education.scm	…
electronics.scm	…
elf.scm	…
elixir.scm	…
emacs-xyz.scm	…
emacs.scm	…
embedded.scm	…
emulators.scm	…
enchant.scm	gnu: enchant: Update to 2.2.3.	2018-09-26 00:33:01 +02:00
engineering.scm	…
enlightenment.scm	…
entr.scm	…
erlang.scm	…
fabric-management.scm	…
fcitx.scm	…
figlet.scm	…
file-systems.scm	…
file.scm	…
finance.scm	gnu: electron-cash: Update to 3.3.4.	2019-01-17 16:26:37 -05:00
firmware.scm	…
flashing-tools.scm	…
flex.scm	…
fltk.scm	gnu: Separate Python core packages from the rest.	2019-01-15 14:46:44 +01:00
fonts.scm	…
fontutils.scm	…
forth.scm	…
fpga.scm	gnu: yosys: Update to 0.8.	2019-01-15 16:46:45 +01:00
freedesktop.scm	…
freeipmi.scm	…
fribidi.scm	…
ftp.scm	…
fvwm.scm	…
game-development.scm	…
games.scm	…
gawk.scm	…
gcal.scm	…
gcc.scm	…
gd.scm	…
gdb.scm	…
geo.scm	…
gettext.scm	…
ghostscript.scm	…
gimp.scm	…
gkrellm.scm	…
gl.scm	…
glib.scm	…
gnome.scm	…
gnu-doc.scm	…
gnu-pw-mgr.scm	…
gnucash.scm	…
gnunet.scm	…
gnupg.scm	…
gnustep.scm	gnu: wmclock: Remove custom bootstrap phase.	2018-11-10 23:42:54 +01:00
gnuzilla.scm	…
gobby.scm	…
golang.scm	…
gperf.scm	…
gprolog.scm	…
gps.scm	…
graph.scm	…
graphics.scm	…
graphviz.scm	…
groff.scm	…
groovy.scm	…
gsasl.scm	…
gstreamer.scm	…
gtk.scm	…
guile-wm.scm	…
guile.scm	…
gv.scm	…
gxmessage.scm	…
ham-radio.scm	…
hardware.scm	…
haskell-check.scm	…
haskell-crypto.scm	…
haskell-web.scm	…
haskell.scm	…
hexedit.scm	…
hugs.scm	…
hurd.scm	…
ibus.scm	…
icu4c.scm	…
idris.scm	…
idutils.scm	…
image-processing.scm	…
image-viewers.scm	…
image.scm	…
imagemagick.scm	…
inklingreader.scm	…
inkscape.scm	…
ipfs.scm	…
irc.scm	…
iso-codes.scm	…
java-compression.scm	…
java.scm	…
javascript.scm	…
jemalloc.scm	gnu: jemalloc: Update to 5.1.0.	2018-05-09 15:39:56 +02:00
jose.scm	…
jrnl.scm	…
julia.scm	…
kde-frameworks.scm	…
kde.scm	…
kerberos.scm	…
key-mon.scm	…
kodi.scm	…
language.scm	gnu: perl-lingua-en-tagger: Update to 0.29.	2018-08-11 18:55:45 +02:00
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	gnu: libphidget: Update to 2.1.8.20180607.	2019-01-01 09:30:56 +02:00
libreoffice.scm	…
libsigsegv.scm	…
libunistring.scm	…
libunwind.scm	…
libusb.scm	…
license.scm	…
lighting.scm	…
linux.scm	gnu: linux-libre: Update to 4.20.3.	2019-01-17 16:11:35 -05:00
lirc.scm	…
lisp.scm	…
llvm.scm	…
logging.scm	…
lolcode.scm	…
lout.scm	…
lsof.scm	…
lua.scm	…
lxde.scm	gnu: lxsession: Remove custom bootstrap phase.	2018-11-11 10:16:43 +01:00
lxqt.scm	…
m4.scm	…
machine-learning.scm	…
mail.scm	…
make-bootstrap.scm	…
man.scm	…
markup.scm	…
marst.scm	…
mate.scm	…
maths.scm	gnu: z3: Update to 4.8.4.	2019-01-18 11:12:59 -05:00
maven.scm	…
mc.scm	…
mcrypt.scm	…
medical.scm	…
mes.scm	…
messaging.scm	…
microcom.scm	…
mingw.scm	…
moe.scm	…
monitoring.scm	…
mono.scm	…
moreutils.scm	…
motti.scm	…
mp3.scm	…
mpd.scm	…
mpi.scm	…
mtools.scm	…
multiprecision.scm	…
music.scm	…
musl.scm	…
nano.scm	…
ncdu.scm	…
ncurses.scm	…
netpbm.scm	…
nettle.scm	…
networking.scm	gnu: Move sqlite to separate module.	2019-01-16 16:08:22 +01:00
nfs.scm	…
nickle.scm	…
nim.scm	…
ninja.scm	…
node.scm	…
noweb.scm	…
ntp.scm	…
nutrition.scm	…
nvi.scm	…
ocaml.scm	…
ocr.scm	…
onc-rpc.scm	…
openbox.scm	…
opencl.scm	…
openldap.scm	…
openstack.scm	…
orpheus.scm	…
ots.scm	…
package-management.scm	…
parallel.scm	gnu: parallel: Update to 20181222.	2018-12-24 13:15:14 +01:00
password-utils.scm	…
patchutils.scm	…
pciutils.scm	…
pcre.scm	…
pdf.scm	…
pem.scm	…
perl-check.scm	…
perl-compression.scm	…
perl-web.scm	…
perl.scm	…
phabricator.scm	…
photo.scm	…
php.scm	…
pkg-config.scm	…
plotutils.scm	…
polkit.scm	…
popt.scm	…
pretty-print.scm	…
printers.scm	…
profiling.scm	…
protobuf.scm	…
pth.scm	…
pulseaudio.scm	…
pumpio.scm	…
pure.scm	…
pv.scm	…
python-compression.scm	gnu: Move Python compression packages to new module.	2019-01-15 17:45:33 +01:00
python-crypto.scm	…
python-web.scm	…
python-xyz.scm	…
python.scm	…
qt.scm	…
ragel.scm	…
rails.scm	…
ratpoison.scm	…
rdesktop.scm	…
rdf.scm	…
re2c.scm	…
readline.scm	…
regex.scm	…
robotics.scm	…
rrdtool.scm	…
rsync.scm	…
ruby.scm	…
rush.scm	…
rust.scm	…
samba.scm	…
sawfish.scm	…
scanner.scm	…
scheme.scm	…
screen.scm	…
scribus.scm	…
scsi.scm	…
sdcc.scm	…
sdl.scm	…
search.scm	…
security-token.scm	…
selinux.scm	…
serialization.scm	…
serveez.scm	…
shells.scm	…
shellutils.scm	…
simh.scm	…
simulation.scm	…
skarnet.scm	…
skribilo.scm	…
slang.scm	gnu: slang: Use a correct location for terminfo dirs.	2018-11-07 18:39:19 +09:00
smalltalk.scm	…
sml.scm	…
speech.scm	…
spice.scm	…
sqlite.scm	…
ssh.scm	…
sssd.scm	…
stalonetray.scm	…
statistics.scm	…
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	…
terminals.scm	gnu: kmscon: Add runtime keymap update support.	2019-01-17 14:04:20 +01:00
terraform.scm	…
tex.scm	…
texinfo.scm	gnu: texinfo@5: Fix FTBFS with Perl >= 5.28.	2018-09-01 12:56:52 +02:00
text-editors.scm	…
textutils.scm	gnu: Separate Python core packages from the rest.	2019-01-15 14:46:44 +01:00
time.scm	gnu: Separate Python core packages from the rest.	2019-01-15 14:46:44 +01:00
tls.scm	…
tmux.scm	…
tor.scm	…
toys.scm	…
tryton.scm	…
tv.scm	…
uml.scm	…
unrtf.scm	…
upnp.scm	…
uucp.scm	…
valgrind.scm	…
version-control.scm	…
video.scm	…
vim.scm	…
virtualization.scm	…
vpn.scm	…
vulkan.scm	…
w3m.scm	gnu: w3m: Update source URL.	2018-06-18 12:32:22 -04:00
wdiff.scm	…
web-browsers.scm	…
web.scm	…
webkit.scm	…
wget.scm	…
wicd.scm	…
wine.scm	…
wm.scm	…
wordnet.scm	…
wv.scm	…
wxwidgets.scm	…
xdisorg.scm	…
xfce.scm	…
xfig.scm	…
xiph.scm	…
xml.scm	…
xnee.scm	…
xorg.scm	…
zile.scm	…