index
:
guix
add-back-some-substitution-error-handling
add-comments-to-bottom-of-files
add-fractal
add-package-input-loop-detection
add-s-tui
add-temper-exporter
add-ultimate-horizons
add-unknown-horizons
awair-exporter
bar-progress-reporter
bitcoin-unlimited-fix
btrfs-store-subvolume-test
bug-38957-pywinrm
cgit-changes
challenge-changes
channel-graft-control
channel-instances-manifest-graft-control
childhurd-swap
chris-core-updates-no-duplicates-attempt
chromium
clamav
cloud-foundry
coala
commit-policy-tweaks
core-updates-fix-behave
core-updates-fix-python-gst
cross-build-guile-lib-properly
cuirass-add-extra-options
deja-dup-add-nautilus-extension
direnv-build-issue
django-related-changes
docker-system
dont-call-build-derivations-when-computing-the-derivation-for-the-upgrade-services-system-test
duplicity-fix
elasticsearch
emacs-gotest
emacs-graphviz-dot-mode
emacs-ob-http
emacs-ob-mongo
emacs-ob-redis
emacs-ob-restclient
emacs-puppet-mode
emacs-sql-indent
emptyepsilon
ephemeralpg
erlang-and-elixir-changes
export-narinfo-contents
fcgiwrap-logging
fetching-substitutes-without-caching
fix-awscli-help
fix-bitcoin-core
fix-cheese-performance
fix-cpan-importer
fix-crash-in-discovery-scheme-files
fix-gnome-boxes-qemu-smartcard-support
fix-guile-with-libgc-7-on-core-updates
fix-guix-build-coordinator-agent
fix-guix-pack-docker
fix-linkchecker-build
fix-lziprecover-cross-compilation
fix-open-inferior-error-port
fix-python-ipython
fix-red-eclipse
fix-some-compression-scripts
gbrainy
gerbera
getmail-service-fixes
git-multimail
gitolite-service
gitolite-service-broken-match
gnutls-enable-p11-kit
gobject-introspection-improve-shared-library-filename-handling
graphics-tablet
gst-plugins-bad-camerabin-test
guile-build-system-parallel
guile-dbi
guile-fibers-fix-resource-leak
guile-pg
guix-build-coordinator
guix-build-coordinator-service-fixes
guix-data-service-package-and-service-updates
guix-for-beid
guix-for-beid-updates
guix-publish-logging
handle-closing-http-connections-in-process-substitution
hurd-networking
icu4c-zoneinfo
improve-download-nar
improve-guix-weather-progress-reporting
include-aarch64-in-librsvg-for-system
inferior-in-container
inferior-in-container-new
inferior-package-replacement-support
inline-menu-entries-in-bootcfg
josm-improvements
k-of-n-substitute-trust
keyring
laminar
laminar-0.8
laminar-0.9
laminar-1.0
latest-python-gpg
linting-improvements
linux-module-cross-add-source-directory
load-in-linux-vm-use-multiple-cores
march-2020-ruby-updates
master
mongo-tools
mongodb-3.6
move-guix-scripts-substitute-code
multi-layer-docker-images
mysql-use-pid-file
nagstamon
nar-herder-service
nginx-add-some-modules
nginx-support-extra-http-block-content
nginx-support-extra-http-block-content-with-strings
packer
paprefs
patchwork
patchwork-fdo
pgcrypto
picard
postgres-pg_ctl-logging
postgresql-add-openssl-support
postgresql-config-file-docs
postgresql-patch
prepare-to-move-guix-scripts-substitute-code
prometheus
prometheus-node-exporter-enhancements
pwclient
python-machine-learning
python-yq
qemu-netcf-support
qtwebkit
r-minimal-fix
rabbitmq
rails-and-terraform
rails-for-mini-environment-admin
remove-duplicate-packages
remove-duplicate-r-dnacopy
remove-llvm-without-rtti
remove-two-duplicate-ruby-gem-packages
resolve-derivation-lint-warnings
ruby-2.5
ruby-2.6
ruby-bootscale
ruby-build-system-error-or-return-true
ruby-build-system-improvements
ruby-fixes
ruby-rails
ruby-rails-first-4-patches
run-libvirt-tests
run-subversion-tests-in-parallel
run-tests-for-python-django-gravatar2
series-2725-tweaked
snapcast
sops
soundconverter
speed-up-the-derivation-linter
speed-up-the-derivations-linter-attempt-2
split-derivation-lint-checker
sqitch
stop-caching-negative-narinfo-lookups
substitutes-from-bayfront
support-computing-channel-instance-derivations-for-specific-systems
support-subdirectories-in-guix-package-path
system-container-networking
system-container-networking-test
terraform
tweak-http-multiple-get-error-handling
update-0ad-to-24
update-capnproto-and-mash
update-go-to-1.14.4
update-guile-fibers
update-guix-data-service
update-guix-to-97d615b
update-libosinfo
update-mongodb-to-3.6
update-node
update-plover-to-4.0.0.dev8
update-ruby-sassc-and-ruby-sqlite3
update-style-of-desktop-services
upgrade-python-to-3.7.1
use-gexps-in-gcc-boot0
weather-accurately-report-request-stats
wip-guix-data-service
wip-rails
wip-rails-2
wip-rails-extra-packages
wip-rails-extra-packages-fixes
wip-rails-extra-packages-updated
wip-rails-gemset1
wip-rails-gemset2
workaround-cloudfoundry-tar-unpacking-issue
yasm-disable-parallel-tests
zeromq-4.1.6
Guix
Gitolite user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
agda.scm
Commit message (
Expand
)
Author
Age
*
gnu: agda: Fix build.
宋文武
2024-08-31
*
gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280.
Josselin Poiret
2023-11-14
*
gnu: agda-cubical: Update to 0.6.
Josselin Poiret
2023-11-14
*
gnu: agda-categories: Adapt to agda-stdlib 1.7.3.
Josselin Poiret
2023-11-14
*
gnu: agda-stdlib: Update to 1.7.3.
Josselin Poiret
2023-11-14
*
gnu: agda: Update to 2.6.4.
Josselin Poiret
2023-11-14
*
gnu: agda-cubical: Add source file-name.
Efraim Flashner
2023-10-11
*
gnu: agda-cubical: Update to 0.5.
Josselin Poiret
2023-07-22
*
gnu: agda-ial: Update to ded30c410d5d40142249686572aa1acd1b2f8cc7.
Josselin Poiret
2023-06-04
*
gnu: Add agda-1lab.
Josselin Poiret
2023-06-04
*
gnu: Add agda-cubical.
Josselin Poiret
2023-06-04
*
gnu: Add agda-categories.
Josselin Poiret
2023-06-04
*
gnu: Add agda-stdlib.
Josselin Poiret
2023-06-04
*
gnu: agda: Add AGDA_LIBDIRS search-path.
Josselin Poiret
2023-06-04
*
gnu: emacs-agda2-mode: Switch to G-Exps.
Josselin Poiret
2023-06-04
*
gnu: emacs-agda2-mode: No longer inherit from agda.
Josselin Poiret
2023-06-04
*
gnu: agda: Build info manual.
Josselin Poiret
2023-06-04
*
gnu: agda: Update to 2.6.3 and switch to git-fetch.
Josselin Poiret
2023-06-04
*
gnu: Use HACKAGE-URI for packages from Hackage.
Lars-Dominik Braun
2023-02-26
*
gnu: Add upstream-name property to Haskell packages.
Lars-Dominik Braun
2023-02-26
*
gnu: Remove unneeded module imports.
Efraim Flashner
2023-02-16
*
gnu: agda.scm: Add missing import.
Efraim Flashner
2022-05-12
*
gnu: agda: Use G-expressions.
Tobias Geerinckx-Rice
2022-05-08
*
gnu: agda: Update to 2.6.2.2.
Tobias Geerinckx-Rice
2022-05-08
*
gnu: agda: Update to 2.6.2.1.
Tobias Geerinckx-Rice
2021-12-17
*
gnu: Simplify package inputs.
Ludovic Courtès
2021-12-13
*
gnu: Update Haskell ecosystem.
Lars-Dominik Braun
2021-10-08
*
gnu: agda: Adjust for using shared libraries.
Timothy Sample
2020-08-19
*
gnu: agda: Use HTTPS home page.
Tobias Geerinckx-Rice
2020-03-16
*
gnu: agda: Update to 2.6.0.1.
Timothy Sample
2019-11-20
*
gnu: Move non-compilers out of haskell.scm.
Robert Vollmert
2019-08-31
*
gnu: agda-ial: Fix install step.
John Soo
2019-08-28
*
gnu: agda-ial: Fetch source from Git.
Ludovic Courtès
2019-08-28
*
gnu: Add agda-ial.
John Soo
2019-08-28
*
gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.
Robert Vollmert
2019-08-07
*
gnu: agda: Update to 2.5.4.2.
Tobias Geerinckx-Rice
2019-02-24
*
build-system/haskell: Use 'strip-store-file-name'.
Alex Vong
2018-10-19
*
gnu: agda: Fix build.
Ricardo Wurmus
2018-10-01
*
gnu: agda: Update to 2.5.4.1.
Timothy Sample
2018-10-01
*
gnu: ghc-mtl: Remove built-in Haskell package.
Timothy Sample
2018-10-01
*
gnu: Add emacs-agda2-mode
Alex ter Weele
2018-07-29
*
gnu: agda: Compile .agda files.
Alex ter Weele
2018-07-29
*
gnu: Add agda.
Alex ter Weele
2018-02-26