index
:
nixpkgs
add-beancount-ing-diba
add-cargo-espflash
add-cargo-feature-set
add-dodo
add-ghostie
add-iceportal
add-kdash
add-ldproxy
add-nemu
add-notifymuch
add-openbbterminal
add-swappy
add-vim-plugins
backport/update-python-pscript
cargo-espflash-license
cargo-public-api
fix-node-exporter-backslash-in-exec
fix-node-exporter-backslash-in-exec-tmp
init-cjson
init-fbcat
init-pdfium
init-prometheus-mpd-exporter
init-tageditor
init-tpm2-tss-engine
init-unused
master
mdbook-toc
nixos-22.11
submitting-changes-gitrm
update-bison
update-gitlint
update-libquotient
update-mdbook-open-on-gh
update-mutt
update-python-pscript
update-rust-analyzer
update-some-packages
update-tageditor
update-tasknc
update-tig
update-toot
update-ugrep
update-wordgrinder
update-zellij
updates
Contrib clone of nixpkgs
matthias
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
libraries
/
agda
Age
Commit message (
Expand
)
Author
2016-06-03
Fix lots of fetchgit hashes (fallout from #15469)
Tuomas Tynkkynen
2016-05-23
Revert "Merge pull request #15595 from laMudri/agda-stdlib"
Joachim Fasting
2016-05-21
Agda: marked some old packages as broken
laMudri
2016-05-21
agda-prelude: 2014-09-27 -> 2016-04-18
laMudri
2016-05-21
agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)
laMudri
2015-09-04
categories: mark as broken cc #9471
Domen Kožar
2015-05-31
agda-stdlib: update to 2.4.2.3 branch
Mateusz Kowalczyk
2015-05-20
agda: the Iowa stdlib seems to be behind a private SVN now
John Ericson
2015-04-06
agda: migrate to haskell-ng, update and cleanup
Nikolay Amiantov
2015-01-08
Revert "Introduce patchShebangsPhase ran in preConfigurePhases"
Domen Kožar
2015-01-02
Introduce patchShebangsPhase ran in preConfigurePhases
Domen Kožar
2014-12-03
agda-pretty: update darcs revision
Mateusz Kowalczyk
2014-12-03
agda-TotalParserCombinators: update darcs revision
Mateusz Kowalczyk
2014-11-20
agda-TotalParserCombinators: mark as broken
Mateusz Kowalczyk
2014-11-20
agda-pretty: mark as broken
Mateusz Kowalczyk
2014-11-18
agda-iowa-stdlib: update to r18734
Mateusz Kowalczyk
2014-11-17
agda-iowa-stdlib: mark as broken
Mateusz Kowalczyk
2014-10-02
agda-base: new package
Mateusz Kowalczyk
2014-09-28
agda-iowa-stdlib: renamed from aaron-stump-stdlib
Mateusz Kowalczyk
2014-09-27
agda-aaron-stump-stdlib: new package
Mateusz Kowalczyk
2014-09-27
agda-pretty: new package
Mateusz Kowalczyk
2014-09-27
agda-TotalParserCombinators: new package
Mateusz Kowalczyk
2014-09-27
agda-prelude: new package
Mateusz Kowalczyk
2014-09-16
agda-categories: add package
Mateusz Kowalczyk
2014-09-11
agda: add bitvector
Mateusz Kowalczyk
2014-09-11
agda-sheaves: use lib.licenses
Mateusz Kowalczyk
2014-09-11
agda: add Agda-Sheaves
Mateusz Kowalczyk