HCoop
/
jackhill
/
guix
/
guix.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
gnu: Add cxxopts.
2020-09-01
Brett Gilio
gnu: Add emacs-scpaste.
commit
|
commitdiff
|
tree
2020-08-30
Brett Gilio
gnu: emacs-haskell-mode: Delete test failing on Emacs...
commit
|
commitdiff
|
tree
2020-08-29
Brett Gilio
gnu: Add emacs-org-webring.
commit
|
commitdiff
|
tree
2020-08-08
Brett Gilio
gnu: emacs-telega: Remove comment about libtgvoip linkage.
commit
|
commitdiff
|
tree
2020-08-08
Brett Gilio
gnu: swi-prolog: Update to 8.3.5.
commit
|
commitdiff
|
tree
2020-08-08
Brett Gilio
gnu: Add emacs-csound-mode.
commit
|
commitdiff
|
tree
2020-08-08
Brett Gilio
gnu: Add emacs-multi.
commit
|
commitdiff
|
tree
2020-08-08
Brett Gilio
gnu: Add emacs-highlight.
commit
|
commitdiff
|
tree
2020-08-05
Brett Gilio
gnu: emacs-lsp-ui: Update to 7.0.
commit
|
commitdiff
|
tree
2020-08-04
Brett Gilio
gnu: Add inspircd.
commit
|
commitdiff
|
tree
2020-08-01
Brett Gilio
gnu: emacs-dimmer: Update to 0.4.2.
commit
|
commitdiff
|
tree
2020-08-01
Brett Gilio
gnu: emacs-google-translate: Update to 0.12.0.
commit
|
commitdiff
|
tree
2020-08-01
Brett Gilio
gnu: emacs-datetime: Update to 0.6.6.
commit
|
commitdiff
|
tree
2020-08-01
Brett Gilio
gnu: Add emacs-extmap.
commit
|
commitdiff
|
tree
2020-08-01
Brett Gilio
gnu: chibi-scheme: Update to 0.9.
commit
|
commitdiff
|
tree
2020-07-29
Brett Gilio
gnu: emacs-erc-image: Disable make-autoloads phase.
commit
|
commitdiff
|
tree
2020-07-29
Brett Gilio
Revert "gnu: emacs-erc-image: Patch eval-after-load...
commit
|
commitdiff
|
tree
2020-07-29
Brett Gilio
gnu: emacs-erc-image: Patch eval-after-load procedure.
commit
|
commitdiff
|
tree
2020-07-24
Brett Gilio
gnu: emacs-telega: Update to 0.6.28.
commit
|
commitdiff
|
tree
2020-07-23
Brett Gilio
gnu: Add mercury.
commit
|
commitdiff
|
tree
2020-07-23
Brett Gilio
gnu: polyml: Update to 5.8.1.
commit
|
commitdiff
|
tree
2020-07-21
Brett Gilio
gnu: emacs-telega: Temporarily disable VOIP to work...
commit
|
commitdiff
|
tree
2020-07-21
Brett Gilio
gnu: emacs-telega: Patch to use telega-server from...
commit
|
commitdiff
|
tree
2020-07-21
Brett Gilio
gnu: scrot: Update to 1.4.
commit
|
commitdiff
|
tree
2020-07-20
Brett Gilio
gnu: emacs-telega: Update to 0.6.27-1.
commit
|
commitdiff
|
tree
2020-07-20
Brett Gilio
gnu: lean: Disable test cases for i686 and armhf.
commit
|
commitdiff
|
tree
2020-07-19
Brett Gilio
gnu: libtorrent-rasterbar: Update to 1.2.7.
commit
|
commitdiff
|
tree
2020-07-19
Brett Gilio
gnu: python-language-server: Remove comment in inputs.
commit
|
commitdiff
|
tree
2020-07-19
Brett Gilio
gnu: python-language-server: Update to 0.34.1.
commit
|
commitdiff
|
tree
2020-07-19
Brett Gilio
gnu: lean: Update to 3.17.1.
commit
|
commitdiff
|
tree
2020-07-19
Brett Gilio
gnu: straw-viewer: Update to 0.0.6.
commit
|
commitdiff
|
tree
2020-07-19
Brett Gilio
gnu: swi-prolog: Update to 8.3.4.
commit
|
commitdiff
|
tree
2020-07-19
Brett Gilio
gnu: emacs-telega: Update to 0.6.27.
commit
|
commitdiff
|
tree
2020-07-19
Brett Gilio
gnu: tdlib: Update to 1.6.6.
commit
|
commitdiff
|
tree
2020-02-03
Brett Gilio
gnu: python-language-server: Update to 0.31.7.
commit
|
commitdiff
|
tree
2020-02-02
Brett Gilio
gnu: emacs-telega: Update to 0.6.0.
commit
|
commitdiff
|
tree
2020-02-01
Brett Gilio
gnu: tdlib: Update to 1.6.0.
commit
|
commitdiff
|
tree
2020-01-24
Brett Gilio
gnu: swi-prolog: Update to 8.1.21.
commit
|
commitdiff
|
tree
2020-01-24
Brett Gilio
gnu: emacs-telega: Update to 0.5.10.
commit
|
commitdiff
|
tree
2020-01-24
Brett Gilio
gnu: tdlib: Update to 1.5.5.
commit
|
commitdiff
|
tree
2020-01-18
Brett Gilio
gnu: python-language-server: Update to 0.31.6.
commit
|
commitdiff
|
tree
2020-01-15
Brett Gilio
gnu: emacs-telega: Update to 0.5.4-4.
commit
|
commitdiff
|
tree
2020-01-12
Brett Gilio
gnu: emacs-telega: Update to 0.5.4-3.
commit
|
commitdiff
|
tree
2020-01-11
Brett Gilio
gnu: Add emacs-metal-mercury-mode.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq-stdpp: Reword comment.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq-stdpp: Update to 1.2.1.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq-bignums: Fix comment spacing.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq-bignums: Update to 8.10.0.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq-equations: Update to 1.2.1.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq-interval: Update to 3.4.1.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq-coquelicot: Truncate home-page.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq-coquelicot: Update to 3.0.3.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq-gappa: Use HTTPS home page URI.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq-gappa: Update to 1.4.2.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq-flocq: Use HTTPS home page URI.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq-flocq: Update to 3.2.0.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq: Reword several comments.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: coq: Update to 8.10.2.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: Add lablgtk3.
commit
|
commitdiff
|
tree
2020-01-07
Brett Gilio
gnu: Add ocaml-cairo2.
commit
|
commitdiff
|
tree
2020-01-06
Brett Gilio
gnu: libtgvoip: Fix failing build on i686-linux.
commit
|
commitdiff
|
tree
2020-01-06
Brett Gilio
gnu: libtgvoip: Update to 2.4.4.
commit
|
commitdiff
|
tree
2020-01-05
Brett Gilio
gnu: coq-mathcomp: Update to 1.10.0.
commit
|
commitdiff
|
tree
2020-01-04
Brett Gilio
gnu: swi-prolog: Update to 8.1.20.
commit
|
commitdiff
|
tree
2020-01-04
Brett Gilio
gnu: swi-prolog: Modify documentation installation.
commit
|
commitdiff
|
tree
2020-01-04
Brett Gilio
gnu: swi-prolog: Enable tests.
commit
|
commitdiff
|
tree
2020-01-04
Brett Gilio
gnu: Add swi-prolog.
commit
|
commitdiff
|
tree
2020-01-04
Brett Gilio
gnu: gprolog: Use license prefix.
commit
|
commitdiff
|
tree
2020-01-04
Brett Gilio
Revert "gnu: Add swi-prolog."
commit
|
commitdiff
|
tree
2020-01-04
Brett Gilio
gnu: Add swi-prolog.
commit
|
commitdiff
|
tree
2020-01-04
Brett Gilio
gnu: Rename module gprolog to prolog.
commit
|
commitdiff
|
tree
2020-01-04
Brett Gilio
gnu: femtolisp: Update to 0.0.0-2.
commit
|
commitdiff
|
tree
2020-01-04
Brett Gilio
gnu: python-language-server: Update to 0.31.4.
commit
|
commitdiff
|
tree
2020-01-03
Brett Gilio
gnu: emacs-pyvenv: Update to 1.21.
commit
|
commitdiff
|
tree
2020-01-03
Brett Gilio
gnu: emacs-request: Disable tests.
commit
|
commitdiff
|
tree
2020-01-03
Brett Gilio
gnu: emacs-request: Update to 0.3.2.
commit
|
commitdiff
|
tree
2020-01-03
Brett Gilio
gnu: emacs-doom-themes: Add note about byte-compilation...
commit
|
commitdiff
|
tree
2020-01-03
Brett Gilio
gnu: Add ocaml-fftw3.
commit
|
commitdiff
|
tree
2020-01-03
Brett Gilio
gnu: Add ocaml-lacaml.
commit
|
commitdiff
|
tree
2020-01-03
Brett Gilio
gnu: ocaml-utop: Modify home-page.
commit
|
commitdiff
|
tree
2020-01-03
Brett Gilio
gnu: ocaml-utop: Update to 2.4.3.
commit
|
commitdiff
|
tree
2020-01-02
Brett Gilio
gnu: tdlib: Configure build for RELEASE and LTO.
commit
|
commitdiff
|
tree
2020-01-02
Brett Gilio
gnu: tdlib: Update to 1.5.4.
commit
|
commitdiff
|
tree
2020-01-02
Brett Gilio
gnu: emacs-doom-themes: Update to 2.1.6-4.
commit
|
commitdiff
|
tree
2020-01-01
Brett Gilio
gnu: emacs-telega: Build with support for VoIP.
commit
|
commitdiff
|
tree
2020-01-01
Brett Gilio
gnu: Add libtgvoip.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: picom: Correct typo.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-ccls: Revise license.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-ccls: Update to 0.1-4.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-paren-face: Update to 1.0.5.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-keyfreq: Adjust indentation.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-d-mode: Update to 2.0.10.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-tablist: Adjust indentation.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-mmm-mode: Adjust indentation.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-graphviz-dot-mode: Update to 0.4.1.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-google-maps: Adjust indentation.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-direnv: Adjust indentation.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-calfw: Adjust indentation.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-autothemer: Adjust indentation.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-ag: Adjust indentation.
commit
|
commitdiff
|
tree
next