HCoop
/
jackhill
/
guix
/
guix.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
gnu: emacs-google-translate: Update to 0.12.0.
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-25
Evan Straw
gnu: emacs-use-package: Install texinfo manual.
Signed-off-by: Brett Gilio <
brettg@gnu.org
>
commit
|
commitdiff
|
tree
2020-07-25
Jesse Gibbons
gnu: chroma: Configure with inline attribute.
Signed-off-by: Brett Gilio <
brettg@gnu.org
>
commit
|
commitdiff
|
tree
2020-07-24
Brett Gilio
gnu: emacs-telega: Update to 0.6.28.
commit
|
commitdiff
|
tree
2020-07-24
Alexandru-Sergiu...
gnu: i3-gaps: Update to 4.18.1.
Signed-off-by: Brett Gilio <
brettg@gnu.org
>
commit
|
commitdiff
|
tree
2020-07-24
Vinicius Monego
gnu: Add sleef.
Signed-off-by: Brett Gilio <
brettg@gnu.org
>
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-11
Roel Janssen
gnu: mercurial: Update to 5.2.1.
Signed-off-by: Brett Gilio <
brettg@gnu.org
>
commit
|
commitdiff
|
tree
2020-01-07
Alexandru-Sergiu...
gnu: Add ghc-pointedlist.
Signed-off-by: Brett Gilio <
brettg@gnu.org
>
commit
|
commitdiff
|
tree
2020-01-07
Alexandru-Sergiu...
gnu: Add ghc-pipes.
Signed-off-by: Brett Gilio <
brettg@gnu.org
>
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
LaFreniere, Joseph
gnu: Add emacs-company-posframe.
Signed-off-by: Brett Gilio <
brettg@gnu.org
>
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-03
Amin Bandali
gnu: Add lean.
Signed-off-by: Brett Gilio <
brettg@gnu.org
>
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-02
Alexandru-Sergiu...
gnu: Add ghc-say.
Signed-off-by: Brett Gilio <
brettg@gnu.org
>
commit
|
commitdiff
|
tree
2020-01-02
Jakub Kądziołka
gnu: Add xsecurelock.
Signed-off-by: Brett Gilio <
brettg@gnu.org
>
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
Alexandru-Sergiu...
gnu: Add picom.
Co-authored-by: Brett Gilio <
brettg@gnu.org
>
Signed-off-by: Brett Gilio <
brettg@gnu.org
>
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
next