aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/patches/glib-networking-ssl-cert-file.patch
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-01-25 23:10:03 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-01-25 23:11:21 +0100
commit723f332551c336790e6fd628e4418f5be2eb42c0 (patch)
tree28a1f0138f819ba3de1b6e77931dc57db532c0c3 /gnu/packages/patches/glib-networking-ssl-cert-file.patch
parentdd7bc92afcd4b69849fc55041ac0261315cde2da (diff)
downloadguix-723f332551c336790e6fd628e4418f5be2eb42c0.tar.gz
guix-723f332551c336790e6fd628e4418f5be2eb42c0.zip
gnu: femtolisp: Use INVOKE.
* gnu/packages/scheme.scm (femtolisp)[arguments]: Remove "bootstrap" phase; use INVOKE and return #T unconditionally.
Diffstat (limited to 'gnu/packages/patches/glib-networking-ssl-cert-file.patch')
0 files changed, 0 insertions, 0 deletions
...* gnu/packages/agda.scm: New variable agda-cubical. Josselin Poiret 2023-06-04gnu: Add agda-categories....* gnu/packages/patches/agda-categories-use-find.patch: New patch. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/agda.scm: New variable agda-categories. Josselin Poiret 2023-06-04gnu: Add agda-stdlib....* gnu/packages/patches/agda-stdlib-use-runhaskell.patch: New patch. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/agda.scm: New variable agda-stdlib. Josselin Poiret 2023-06-04gnu: agda: Add AGDA_LIBDIRS search-path....* gnu/packages/patches/agda-libdirs-env-variable.patch: New patch. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/agda.scm (agda): Patch agda, and add search path. Josselin Poiret 2023-06-04gnu: emacs-agda2-mode: Switch to G-Exps....* gnu/packages/agda.scm (emacs-agda2-mode): Switch it up. Josselin Poiret 2023-06-04gnu: emacs-agda2-mode: No longer inherit from agda....* gnu/packages/agda.scm (emacs-agda2-mode): Remove it. Made no sense, as we only need the source, which we can refer to without inheriting the whole thing. Josselin Poiret 2023-06-04gnu: agda: Build info manual....* gnu/packages/agda.scm (agda): Build the user manual as an info manual. Josselin Poiret 2023-06-04gnu: agda: Update to 2.6.3 and switch to git-fetch....* gnu/packages/agda.scm (agda): Update to 2.6.3, switch to fetching using git so that doc files are included, and add new dependency ghc-vector-hashtables. Josselin Poiret