aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions
/firmware.scm?id=ce03b4535ae0b5459cf0fbfcbb549585cfd020b8'>gnu: Use 'license:' prefix in (gnu packages firmware)....David Craven 2016-11-22gnu: Add openfwwf-firmware....Eric Bavier 2016-11-04gnu: cross-base: Remove exports of cross compilers....Ludovic Courtès 2016-04-14gnu: packages: Use 'search-patches' everywhere....Alex Kost 2015-11-23gnu: Fix a few 'source-file-name' lint warnings....Ludovic Courtès 2015-09-04gnu: ath9k-htc-firmware: Update to 1.4.0....Ludovic Courtès 2015-07-18gnu packages: Clean up synopses and descriptions....Alex Kost 2015-03-14gnu: Update packages to use 'non-copyleft' instead of 'bsd-style'....Ludovic Courtès 2014-10-29gnu: Add ath9k-htc-firmware....Ludovic Courtès