guix/gnu/packages
Alex ter Weele 253340dcc8
gnu: agda: Compile .agda files.
* gnu/packages/agda.scm: (agda)[arguments]: Compile .agda files.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2018-07-29 23:32:01 +02:00
..
aux-files
bootstrap
patches gnu: libreoffice: Fix build with newer GLM. 2018-07-29 21:31:55 +02:00
abduco.scm
abiword.scm
accessibility.scm
acct.scm
acl.scm
ada.scm
admin.scm gnu: audit: Don't build static libraries. 2018-07-25 20:44:39 +02:00
adns.scm
agda.scm gnu: agda: Compile .agda files. 2018-07-29 23:32:01 +02:00
aidc.scm
algebra.scm
android.scm gnu: Add fdroidserver. 2018-07-29 20:00:34 +03:00
animation.scm
anthy.scm
apl.scm
apr.scm
aspell.scm
assembly.scm
astronomy.scm
attr.scm
audio.scm
augeas.scm
autogen.scm
autotools.scm
avahi.scm
avr.scm
axoloti.scm
backup.scm
base.scm
bash.scm
bdw-gc.scm
benchmark.scm
bioconductor.scm
bioinformatics.scm gnu: taxtastic: Add missing propagated-inputs. 2018-07-29 22:53:10 +10:00
bison.scm
bittorrent.scm
boost.scm
bootloaders.scm gnu: make-u-boot-package: Add missing module. 2018-07-29 20:49:42 +03:00
bootstrap.scm
build-tools.scm
busybox.scm
c.scm
calcurse.scm
calendar.scm
ccache.scm
cdrom.scm
certs.scm
check.scm gnu: Add python-codecov. 2018-07-29 20:00:32 +03:00
chemistry.scm
chez.scm
ci.scm
cinnamon.scm
cluster.scm
cmake.scm
cobol.scm
code.scm
commencement.scm
compression.scm gnu: cabextract: Delete bundled libmspack. 2018-07-26 17:30:18 +02:00
compton.scm
conkeror.scm
conky.scm
connman.scm
cook.scm
cpio.scm
cpp.scm
cppi.scm
cran.scm gnu: Remove duplicated r-psych package. 2018-07-29 17:57:52 +01:00
cross-base.scm
crypto.scm
cryptsetup.scm
cups.scm gnu: hplip-minimal: Simplify expression. 2018-07-25 20:44:39 +02:00
curl.scm
cyrus-sasl.scm
databases.scm gnu: python2-psycopg2: Update to 2.7.5. 2018-07-29 22:53:10 +10:00
datamash.scm
datastructures.scm
dav.scm
dc.scm
debian.scm
debug.scm
dejagnu.scm
dico.scm
dictionaries.scm gnu: translate-shell: Fix .el install directory. 2018-07-26 16:14:11 +03:00
digest.scm
direct-connect.scm
disk.scm
display-managers.scm Merge remote-tracking branch 'origin/master' into qt-updates 2018-07-25 21:30:18 +03:00
django.scm
djvu.scm
dns.scm
docbook.scm
docker.scm gnu: python-docker-py: Update to 1.10.6. 2018-07-29 20:00:33 +03:00
documentation.scm
dunst.scm
dvtm.scm
ebook.scm
ed.scm
education.scm
electronics.scm
elf.scm
elixir.scm
emacs.scm gnu: Remove duplicated emacs-load-relative. 2018-07-29 17:57:52 +01:00
embedded.scm
emulators.scm
enchant.scm
engineering.scm
enlightenment.scm
entr.scm
erlang.scm
fabric-management.scm
fcitx.scm
figlet.scm
file-systems.scm
file.scm
finance.scm gnu: monero-gui: Use git-file-name. 2018-07-29 20:00:30 +03:00
firmware.scm
flashing-tools.scm
flex.scm
fltk.scm
fonts.scm gnu: Add font-blackfoundry-inria. 2018-07-27 18:00:06 +02:00
fontutils.scm
forth.scm
fpga.scm
freedesktop.scm gnu: accountsservice: Update to 0.6.50. 2018-07-28 17:27:15 +02:00
freeipmi.scm
fribidi.scm
ftp.scm
fvwm.scm
game-development.scm gnu: allegro: Update to 5.2.4.0. 2018-07-27 14:30:49 -04:00
games.scm gnu: Add chroma. 2018-07-29 09:37:20 +02:00
gawk.scm
gcal.scm
gcc.scm gnu: gcc@8: Update to 8.2.0. 2018-07-27 18:52:58 +02:00
gd.scm
gdb.scm
geo.scm
gettext.scm
ghostscript.scm
gimp.scm
gkrellm.scm
gl.scm
glib.scm
gnome.scm gnu: dconf: Update to 0.28.0. 2018-07-28 17:27:15 +02:00
gnu-doc.scm
gnu-pw-mgr.scm
gnucash.scm
gnunet.scm
gnupg.scm
gnustep.scm
gnuzilla.scm
gobby.scm
golang.scm gnu: go-github-com-yookoala-realpath: Fix license. 2018-07-24 15:48:06 +02:00
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
haskell-check.scm
haskell-crypto.scm
haskell-web.scm
haskell.scm gnu: Remove duplicated ghc-time-locale-compat. 2018-07-29 17:57:52 +01:00
hexedit.scm
hugs.scm
hurd.scm
ibus.scm
icu4c.scm
idris.scm
idutils.scm
image-processing.scm
image-viewers.scm
image.scm gnu: libjpeg-turbo: Update license. 2018-07-28 17:27:16 +02:00
imagemagick.scm gnu: imagemagick: Update to 6.9.10-8. 2018-07-27 14:43:43 +02:00
inklingreader.scm
inkscape.scm
irc.scm Revert "gnu: quassel: Fix building with Qt 5.11." 2018-07-25 15:18:27 +03:00
iso-codes.scm
java.scm gnu: clojure: Fix index generation. 2018-07-29 08:41:34 +02:00
javascript.scm
jemalloc.scm
jrnl.scm
julia.scm
kde-frameworks.scm
kde.scm
kerberos.scm
key-mon.scm
kodi.scm
language.scm
ld-wrapper.in
ldc.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: libreoffice: Fix build with newer GLM. 2018-07-29 21:31:55 +02:00
libsigsegv.scm
libunistring.scm
libunwind.scm
libusb.scm
license.scm
lighting.scm
linux.scm gnu: linux-libre: Update to 4.17.11. 2018-07-29 03:32:03 -04:00
lirc.scm
lisp.scm
llvm.scm
logging.scm
lolcode.scm
lout.scm
lsof.scm
lua.scm
lxde.scm
lxqt.scm
m4.scm
machine-learning.scm
mail.scm
make-bootstrap.scm
man.scm
markup.scm
marst.scm
mate.scm
maths.scm gnu: mcrl2: Build with modular qt. 2018-07-29 20:00:30 +03:00
maven.scm gnu: java: Use java-javaee-servletapi instead of java-tomcat. 2018-07-25 00:27:12 +02:00
mc.scm
mcrypt.scm
medical.scm
mes.scm
messaging.scm gnu: quaternion: Build with modular qt. 2018-07-29 20:00:32 +03:00
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
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
password-utils.scm
patchutils.scm
pciutils.scm
pcre.scm
pdf.scm Merge remote-tracking branch 'origin/master' into qt-updates 2018-07-25 21:30:18 +03:00
pem.scm
perl-check.scm
perl-web.scm
perl.scm gnu: Remove duplicated perl-extutils-depends. 2018-07-29 17:57:53 +01:00
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-crypto.scm
python-web.scm
python.scm gnu: Remove duplicated python-pafy. 2018-07-29 17:57:53 +01:00
qt.scm gnu: python-qsintilla: Fix building. 2018-07-26 13:21:05 +03:00
ragel.scm
rails.scm
ratpoison.scm
rdesktop.scm
rdf.scm
re2c.scm
readline.scm
regex.scm
robotics.scm
rrdtool.scm
rsync.scm
ruby.scm gnu: Add ruby-net-scp. 2018-07-26 15:54:52 +02:00
rush.scm
rust.scm
samba.scm
sawfish.scm
scanner.scm gnu: Add hplip-minimal. 2018-07-25 11:52:59 +03:00
scheme.scm
screen.scm
scribus.scm
scsi.scm
sdcc.scm
sdl.scm gnu: guile-sdl2: Update to 0.3.0. 2018-07-27 14:19:33 +02:00
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
smalltalk.scm
sml.scm
speech.scm
spice.scm
ssh.scm
sssd.scm
stalonetray.scm
statistics.scm
stb.scm
storage.scm
suckless.scm
swig.scm
sync.scm
syncthing.scm gnu: syncthing: Update to 0.14.49. 2018-07-24 19:07:06 -04:00
syndication.scm
synergy.scm
task-management.scm
tbb.scm
tcl.scm
telephony.scm
terminals.scm
terraform.scm
tex.scm
texinfo.scm
text-editors.scm
textutils.scm
time.scm
tls.scm gnu: mbedtls-apache: Update to 2.7.5. 2018-07-27 14:43:43 +02:00
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 gnu: x265: Fix compilation on ARMv7. 2018-07-28 15:08:07 +02:00
vim.scm
virtualization.scm gnu: Add python-vagrant. 2018-07-29 20:00:33 +03:00
vpn.scm
vulkan.scm
w3m.scm
wdiff.scm
web-browsers.scm
web.scm gnu: java-tomcat: Strip timestamps 2018-07-25 00:27:21 +02:00
webkit.scm
wget.scm
wicd.scm
wine.scm
wm.scm
wordnet.scm
wv.scm
wxwidgets.scm
xdisorg.scm gnu: Add python-pyperclip. 2018-07-29 20:00:32 +03:00
xfce.scm
xfig.scm
xiph.scm
xml.scm gnu: Remove dangling variable. 2018-07-25 20:44:40 +02:00
xnee.scm
xorg.scm gnu: xorg-server: Apply patch to fix screen rotation on KMS. 2018-07-24 15:48:06 +02:00
zile.scm