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
generated by cgit
3.9....* gnu/packages/patches/libsigrokdecode-python3.9-fix.patch: New file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. * gnu/packages/electronics.scm (libsigrokdecode)[native-inputs]: Add automake, autoconf. [source](patches): New field. Danny Milosavljevic 2021-12-13gnu: Simplify package inputs....This commit was obtained by running: ./pre-inst-env guix style without any additional argument. Ludovic Courtès 2021-06-14gnu: Rename qtbase to qtbase-5....This change was automated via the following command: $ git ls-files | xargs sed -i 's/,qtbase)/,qtbase-5)/g' $ git ls-files | xargs sed -i 's/inherit qtbase)/inherit qtbase-5)/g' $ git ls-files | xargs sed -i 's/package-version qtbase)/package-version qtbase-5)/g' $ git checkout etc # to clear some spurious changes This is done so the qtbase package can be upgraded to version 6 in the following commit. Maxim Cournoyer 2021-04-20gnu: xoscope: Update to 2.3....* gnu/packages/electronics.scm (xoscope): Update to 2.3. [native-inputs]: Add m4. [inputs]: Substitute gtk+ for gtk+-2. Tobias Geerinckx-Rice 2021-03-09gnu: sigrok-cli: Update to 0.7.2....* gnu/packages/electronics.scm (sigrok-cli): Update to 0.7.2. Tobias Geerinckx-Rice 2021-02-19gnu: Add xoscope....* gnu/packages/electronics.scm (xoscope): New variable. Leo Famulari 2021-02-19gnu: Add comedilib....* gnu/packages/electronics.scm (comedilib): New variable. Leo Famulari 2021-01-10gnu: pulseview: Fix qt-5.15 compatibility....* gnu/packages/electronics.scm (pulseview)[source]: Add patch. * gnu/packages/patches/pulseview-qt515-compat.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. Efraim Flashner 2021-01-10gnu: pulseview: Update to 0.4.2....* gnu/packages/electronics.scm (pulseview): Update to 0.4.2. [source]: Use https. Efraim Flashner 2020-12-21gnu: sdcc: Move to embedded.scm....* gnu/packages/embedded.scm: Add sdcc from sdcc.scm. * gnu/packages/electronics.scm: Update #:use-module directive. * gnu/packages/sdcc.scm: Delete file. * gnu/local.mk: Remove it. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Simon South 2020-09-05Merge remote-tracking branch 'origin/master' into stagingEfraim Flashner 2020-07-25gnu: libsigrok: Remove unused input....* gnu/packages/electronics.scm (libsigrok)[native-inputs]: Remove CHECK. Marius Bakke 2020-07-25gnu: check: Update to 0.15.1....* gnu/packages/check.scm (check): Update to 0.15.1. (check-0.14): New public variable. * gnu/packages/backup.scm (burp)[native-inputs]: Change from CHECK to CHECK-0.14. * gnu/packages/bioinformatics.scm (libsbml)[native-inputs]: Likewise. * gnu/packages/databases.scm (recutils)[native-inputs]: Likewise. * gnu/packages/electronics.scm (libsigrokdecode)[native-inputs]: Likewise. * gnu/packages/enlightenment.scm (efl, edi)[native-inputs]: Likewise. * gnu/packages/gnome.scm (gdm)[inputs]: Likewise. * gnu/packages/gtk.scm (girara)[native-inputs]: Likewise. * gnu/packages/messaging.scm (pidgin)[native-inputs]: Likewise. * gnu/packages/networking.scm (iodine)[native-inputs]: Likewise. * gnu/packages/pulseaudio.scm (pulseaudio)[native-inputs]: Likewise. * gnu/packages/sssd.scm (sssd)[native-inputs]: Likewise. * gnu/packages/web.scm (libwapcaplet)[native-inputs]: Likewise. Marius Bakke