HCoop
/
jackhill
/
guix
/
guix.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
gnu: util-linux: Move libraries to separate output.
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
2019-12-28
Brett Gilio
gnu: emacs-emms-mode-line-cycle: Adjust indentation.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-wget: Adjust indentation.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-reformatter: Adjust indentation.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-dante: Modify version number.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-haskell-mode: Adjust indentation.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-graphql: Adjust indentation.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-minions: Update to 0.3.2.
commit
|
commitdiff
|
tree
2019-12-28
Brett Gilio
gnu: emacs-with-editor: Update to 2.9.0.
commit
|
commitdiff
|
tree
2019-12-27
Brett Gilio
gnu: emacs-doom-themes: Update to 2.1.6-3.
commit
|
commitdiff
|
tree
2019-12-26
Brett Gilio
gnu: emacs-telega: Update to 0.5.4.
commit
|
commitdiff
|
tree
2019-12-25
Brett Gilio
gnu: chez-scheme: Update home-page.
commit
|
commitdiff
|
tree
2019-12-25
Brett Gilio
gnu: chez-scheme: Update to 9.5.2.
commit
|
commitdiff
|
tree
2019-12-24
Brett Gilio
gnu: qutebrowser: Update source URI.
commit
|
commitdiff
|
tree
2019-12-24
Brett Gilio
gnu: qutebrowser: Add comment about tests.
commit
|
commitdiff
|
tree
2019-12-24
Brett Gilio
gnu: qutebrowser: Update to 1.8.3.
commit
|
commitdiff
|
tree
2019-12-24
Brett Gilio
gnu: gnunet: Fix license.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: emacs-howm: Modify installation directory in site...
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-bbknn: Update to 1.3.6.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: Add python-pathtools.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: Add python-flit.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-numba: Update to 0.46.0.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-llvmlite: Update to 0.30.0.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: Add python-umap-learn.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-eventlet: Use HTTPS home page URI.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-eventlet: Update to 0.25.1.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-sphinxcontrib-svg2pdfconverter: Fix license.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-sphinxcontrib-svg2pdfconverter: Reflow...
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-sphinxcontrib-svg2pdfconverter: Fix home...
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-sphinxcontrib-svg2pdfconverter: Update...
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-sphinxcontrib-programoutput: Fix home-page.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-sphinxcontrib-programoutput: Update to...
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-sphinxcontrib-jsmath: Fix license.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-sphinx-copybutton: Update to 0.2.6.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-sphinx: Fix license.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-sphinx: Use HTTP URI.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-sphinx: Alphabetize inputs.
commit
|
commitdiff
|
tree
2019-12-23
Brett Gilio
gnu: python-sphinx: Update to 2.3.1.
commit
|
commitdiff
|
tree
2019-12-22
Brett Gilio
gnu: Add copyright header.
...scm: Add copyright header for
Brett Gilio
commit
|
commitdiff
|
tree
2019-12-22
Brett Gilio
gnu: sbcl-cl-store: Use HTTPS home page URI.
commit
|
commitdiff
|
tree
2019-12-22
Brett Gilio
gnu: sbcl-cl-store: Update to 0.8.11-1.
commit
|
commitdiff
|
tree
2019-12-19
Brett Gilio
Update email for Brett Gilio.
Update email for
Brett Gilio
.
* .mailmap: Add name and email for
Brett Gilio
.
Update email for
Brett Gilio
.
commit
|
commitdiff
|
tree
2019-12-16
Brett Gilio
Revert "gnu: ccls: Configure using -isystem for header...
commit
|
commitdiff
|
tree
next