Your search for submitter:"Brett Gilio"

• [PATCH] gnu: emacs-org-webring: Update to 1.6.
  • patch
  • team-emacs
  Done#43158 opened 5 years ago by Alexandru-Sergiu Marton
• [PATCH 00/12] gnu: coq: Update to 8.10.2.
  • patch
  • team-ocaml
  Done#38965 opened 5 years ago by Brett Gilio
• Adding Coq 8.10.1 for Int63.Ring63 and Coq-Bignums
  Done#38959 opened 5 years ago by Brett Gilio
• [WIP 0/1] Add ocaml-4.09.
  Done#38861 opened 5 years ago by Brett Gilio
• [WIP 0/1] Add emacs-company-coq.
  Done#38784 opened 5 years ago by Brett Gilio
• [PATCH WIP] etc: Add "tarball" snippet.
  • patch
  Done#38738 opened 5 years ago by Brett Gilio
• Disabling bytecompilation on a list of files.
  Done#38613 opened 5 years ago by Brett Gilio
• [WIP SMLnj 0/1] Add SMLnj.
  Done#38606 opened 5 years ago by Brett Gilio
• [WIP MLton 0/1] Add MLton
  Done#38605 opened 5 years ago by Brett Gilio
• [WIP SWI-Prolog 0/3] Add SWI-Prolog
  Done#38604 opened 5 years ago by Brett Gilio
• [WIP Mercury 0/2] Add Mercury.
  Done#38603 opened 5 years ago by Brett Gilio
• [PATCH 0/1] Dynamically-link Ruby
  • patch
  • team-ruby
  Done#38552 opened 5 years ago by Brett Gilio
• [PATCH] gnu: qbittorrent: Update to 4.2.0.
  • patch
  Done#38501 opened 5 years ago by Brett Gilio
• [PATCH] GHC-HAPPSTACK-SERVER
  • patch
  • team-haskell
  Done#38488 opened 5 years ago by Brett Gilio
• [PATCH] gnu: emacs-olivetti: Update to 1.8.1.
  • patch
  • team-emacs
  Done#38484 opened 5 years ago by Brett Gilio
• [PATCH] gnu: emacs-irony-mode: Update to 1.4.0.
  • patch
  • team-emacs
  Done#38483 opened 5 years ago by Brett Gilio
• [PATCH] gnu: emacs-elisp-demos: Update to 2019.12.01.
  • patch
  • team-emacs
  Done#38482 opened 5 years ago by Brett Gilio
• [PATCH] gnu: emacs-doom-modeline: Update to 2.8.0.
  • patch
  • team-emacs
  Done#38481 opened 5 years ago by Brett Gilio
• [PATCH] Telega test suite and change in revision
  • patch
  • team-emacs
  Done#38463 opened 5 years ago by Brett Gilio
• ProofGeneral and Emacs sharing a profile
  Done#38433 opened 5 years ago by Brett Gilio
• [PATCH] gnu: Add emacs-org-present.
  • patch
  • team-emacs
  Done#38340 opened 5 years ago by Brett Gilio
• [PATCH 1/2] gnu: Add emacs-shrink-path.
  • patch
  • team-emacs
  Done#38339 opened 5 years ago by Brett Gilio
• [PATCH] gnu: ccls: Update to 0.20190823.5.
  • patch
  Done#38337 opened 5 years ago by Brett Gilio
• [PATCH] gnu: emacs-dashboard: Update to 1.6.0.
  • patch
  • team-emacs
  Done#38331 opened 5 years ago by Brett Gilio
• [PATCH 2/2] gnu: polyml: Use HTTPS home page URI.
  • patch
  Done#38329 opened 5 years ago by Brett Gilio
• [PATCH 1/2] gnu: polyml: Update to 5.8.
  • patch
  Done#38328 opened 5 years ago by Brett Gilio
• [PATCH] gnu: bear: Update to 2.4.2.
  • patch
  Done#38327 opened 5 years ago by Brett Gilio
• [PATCH 2/2] gnu: Add emacs-telega.
  • patch
  • team-emacs
  Done#38326 opened 5 years ago by Brett Gilio
• [PATCH 1/2] gnu: Add tdlib.
  • patch
  Done#38325 opened 5 years ago by Brett Gilio
• [PATCH 2/4] gnu: python-shapely: Update to 1.6.4.post2.
  • patch
  • team-python
  Done#35892 opened 6 years ago by Brett Gilio
• [PATCH 1/4] gnu: python-psutil: Update to 5.6.2.
  • patch
  • team-python
  Done#35891 opened 6 years ago by Brett Gilio
• [PATCH 3/4] gnu: python-hdf4: Update to 0.9.2.
  • patch
  • team-python
  Done#35890 opened 6 years ago by Brett Gilio
• ocaml-utop fatal error
  Done#35500 opened 6 years ago by Brett Gilio
• GDM failing to start stumpwm after merge
  Done#35484 opened 6 years ago by Brett Gilio
• Ocaml-yojson build failing
  Done#35465 opened 6 years ago by Brett Gilio
• [PATCH] gnu: python-language-server: Update to 0.26.1.
  • patch
  • team-python
  Done#35042 opened 6 years ago by Brett Gilio
• [PATCH] gnu: emacs-hackernews: Update to 0.5.0.
  • patch
  • team-emacs
  Done#34933 opened 6 years ago by Brett Gilio
• [PATCH] gnu: godot: Update to 3.1.
  • patch
  • team-games
  Done#34932 opened 6 years ago by Brett Gilio
• [PATCH] gnu: emacs-rust-mode: Update to 0.4.0.
  • patch
  • moreinfo
  • team-emacs
  Done#34928 opened 6 years ago by Brett Gilio
• [PATCH 2/2] gnu: python-language-server: [propagated-inputs] add
  • patch
  • team-python
  Done#34864 opened 6 years ago by Brett Gilio
• [PATCH] gnu: python-language-server: Update to 0.24.0.
  • patch
  • team-python
  Done#34714 opened 6 years ago by Brett Gilio
• virt-manager is not recognizing libvirtd service
  Done#34611 opened 6 years ago by Brett Gilio
• [PATCH 5/5] gnu: emacs-pyvenv: Update synopsis.
  • patch
  • team-emacs
  Done#34604 opened 6 years ago by Brett Gilio
• [PATCH 2/5] gnu: emacs-ht: Update to 2.2.
  • patch
  • team-emacs
  Done#34603 opened 6 years ago by Brett Gilio
• [PATCH 3/5] gnu: emacs-tide: Update to 3.2.3.
  • patch
  • team-emacs
  Done#34602 opened 6 years ago by Brett Gilio
• [PATCH 4/5] gnu: emacs-pyvenv: Update to 1.20.
  • patch
  • team-emacs
  Done#34601 opened 6 years ago by Brett Gilio
• [PATCH 1/5] gnu: emacs-which-key: Update to 3.3.1.
  • patch
  • team-emacs
  Done#34600 opened 6 years ago by Brett Gilio
• [PATCH] gnu: neofetch: Update to 6.0.0.
  • patch
  • team-sysadmin
  Done#34599 opened 6 years ago by Brett Gilio
• [PATCH 3/3] gnu: Add emacs-lsp-ui.
  • patch
  • team-emacs
  Done#34587 opened 6 years ago by Brett Gilio
• [PATCH 1/3] gnu: emacs-dash: Update to 2.15.0.
  • patch
  • team-emacs
  Done#34586 opened 6 years ago by Brett Gilio
• [PATCH 2/3] gnu: Add emacs-lsp-mode.
  • patch
  • team-emacs
  Done#34585 opened 6 years ago by Brett Gilio
• [PATCH] gnu: bear: Update to 2.3.13.
  • patch
  Done#34581 opened 6 years ago by Brett Gilio
• [PATCH 23/24] gnu: Add r-magick.
  • patch
  • team-r
  Done#34564 opened 6 years ago by Brett Gilio
• [PATCH 24/24] gnu: r-flextable: Update to 0.5.1.
  • patch
  • team-r
  Done#34563 opened 6 years ago by Brett Gilio
• [PATCH 22/24] gnu: r-epi: Update to 2.34.
  • patch
  • team-r
  Done#34562 opened 6 years ago by Brett Gilio
• [PATCH 20/24] gnu: r-abjutils: Update to 0.2.3.
  • patch
  • team-r
  Done#34561 opened 6 years ago by Brett Gilio
• [PATCH 21/24] gnu: r-vim: Update to 4.8.0.
  • patch
  • team-r
  Done#34560 opened 6 years ago by Brett Gilio
• [PATCH 17/24] gnu: r-vegan: Update to 2.5-4.
  • patch
  • team-r
  Done#34559 opened 6 years ago by Brett Gilio
• [PATCH 19/24] gnu: Add r-furrr.
  • patch
  • team-r
  Done#34558 opened 6 years ago by Brett Gilio
• [PATCH 18/24] gnu: r-bigrquery: Update to 1.1.0.
  • patch
  • team-r
  Done#34557 opened 6 years ago by Brett Gilio
• [PATCH 16/24] gnu: r-fnn: Update to 1.1.3.
  • patch
  • team-r
  Done#34556 opened 6 years ago by Brett Gilio
• [PATCH 15/24] gnu: r-maptools: Update to 0.9-5.
  • patch
  • team-r
  Done#34555 opened 6 years ago by Brett Gilio
• [PATCH 14/24] gnu: r-lmertest: Update to 3.1-0.
  • patch
  • team-r
  Done#34554 opened 6 years ago by Brett Gilio
• [PATCH 13/24] gnu: r-servr: Update to 0.12.
  • patch
  • team-r
  Done#34553 opened 6 years ago by Brett Gilio
• [PATCH 11/24] gnu: r-tidytree: Update to 0.2.3.
  • patch
  • team-r
  Done#34552 opened 6 years ago by Brett Gilio
• [PATCH 12/24] gnu: r-readxl: Update to 1.3.0.
  • patch
  • team-r
  Done#34551 opened 6 years ago by Brett Gilio
• [PATCH 09/24] gnu: r-later: Update to 0.8.0.
  • patch
  • team-r
  Done#34550 opened 6 years ago by Brett Gilio
• [PATCH 08/24] gnu: r-jomo: Update to 2.6-7.
  • patch
  • team-r
  Done#34549 opened 6 years ago by Brett Gilio
• [PATCH 06/24] gnu: Add r-leaflet.
  • patch
  • team-r
  Done#34548 opened 6 years ago by Brett Gilio
• [PATCH 04/24] gnu: r-prediction: Update to 0.3.6.2.
  • patch
  • team-r
  Done#34547 opened 6 years ago by Brett Gilio
• [PATCH 10/24] gnu: r-emdbook: Update to 1.3.11.
  • patch
  • team-r
  Done#34546 opened 6 years ago by Brett Gilio
• [PATCH 01/24] gnu: r-raster: Update to 2.8-19.
  • patch
  • team-r
  Done#34545 opened 6 years ago by Brett Gilio
• [PATCH 03/24] gnu: r-ggmap: Update to 3.0.0.
  • patch
  • team-r
  Done#34544 opened 6 years ago by Brett Gilio
• [PATCH 02/24] gnu: r-lava: Update to 1.6.5.
  • patch
  • team-r
  Done#34543 opened 6 years ago by Brett Gilio
• [PATCH 05/24] gnu: r-metap: Update to 1.1.
  • patch
  • team-r
  Done#34542 opened 6 years ago by Brett Gilio
• [PATCH 07/24] gnu: r-mosaic: Update to 1.5.0.
  • patch
  • team-r
  Done#34541 opened 6 years ago by Brett Gilio
• [PATCH] gnu: Add r-sloop.
  • patch
  • team-r
  Done#34538 opened 6 years ago by Brett Gilio
• [PATCH] gnu: r-geometry: Update to 0.4.0.
  • patch
  • team-r
  Done#34537 opened 6 years ago by Brett Gilio
• [PATCH] gnu: r-modelr: Update to 0.1.4.
  • patch
  • team-r
  Done#34536 opened 6 years ago by Brett Gilio
• [PATCH] gnu: ansible: Update to 2.7.7.
  • patch
  • team-sysadmin
  Done#34534 opened 6 years ago by Brett Gilio
• [PATCH] gnu: python-language-server: Update to 0.23.2.
  • patch
  • team-python
  Done#34533 opened 6 years ago by Brett Gilio
• [PATCH 1/2] gnu: emacs-xelb: Update to 0.17.
  • patch
  • team-emacs
  Done#34510 opened 6 years ago by Brett Gilio
• [PATCH 2/2] gnu: emacs-exwm: Update to 0.22.
  • patch
  • team-emacs
  Done#34509 opened 6 years ago by Brett Gilio
• [PATCH] gnu: emacs-matrix-client: Update to commit 0f561e.
  • patch
  • team-emacs
  Done#34422 opened 6 years ago by Brett Gilio
• [PATCH 5/5] gnu: Add python-rope.
  • patch
  • team-python
  Done#34383 opened 6 years ago by Brett Gilio
• [PATCH 4/5] gnu: Add python-docstyle.
  • patch
  • team-python
  Done#34382 opened 6 years ago by Brett Gilio
• [PATCH 3/5] gnu: Add python-jsonrpc-server.
  • fixed
  • patch
  • team-python
  Done#34381 opened 6 years ago by Brett Gilio
• [PATCH 2/5] gnu: Add python-language-server.
  • patch
  • team-python
  Done#34380 opened 6 years ago by Brett Gilio
• [PATCH 1/5] gnu: python2-rope: Change comment to reflect partial
  • patch
  • team-python
  Done#34379 opened 6 years ago by Brett Gilio
• Update python-biopython to 1.79, seqmagick to 0.8.4
  • patch
  Done#34354 opened 6 years ago by Brett Gilio
• [PATCH] gnu: python2-rope: Update to 0.11.0
  • patch
  • team-python
  Done#34352 opened 6 years ago by Brett Gilio
• [PATCH] gnu: emacs-cider: Update to 0.20.0
  • patch
  • team-emacs
  Done#34308 opened 6 years ago by Brett Gilio
• [PATCH] gnu: ansible: update from 2.7.5 to 2.7.6
  • patch
  • team-sysadmin
  Done#34191 opened 6 years ago by Brett Gilio
• [PATCH] gnu/packages/emacs.scm (emacs-md4rd): Update to c55512c
  • patch
  • team-emacs
  Done#33917 opened 6 years ago by Brett Gilio
• Backtrace in guix package -s
  Done#33604 opened 6 years ago by Brett Gilio
• 'guix substitute' creates files with incorrect names when not running in a UTF-8 locale
  • important
  Done#33603 opened 6 years ago by Brett Gilio
• Guix pull failing to compute derivation
  Done#33496 opened 6 years ago by Brett Gilio
• [PATCH] gnu: emacs-company: Update to 0.9.7
  • patch
  • team-emacs
  Done#33491 opened 6 years ago by Brett Gilio
• [PATCH] gnu: ansible: Update to 2.7.2
  • patch
  • team-sysadmin
  Done#33485 opened 6 years ago by Brett Gilio
• [PATCH] gnu: rocksdb: Update to 5.17.2
  • patch
  • team-sysadmin
  Done#33484 opened 6 years ago by Brett Gilio
• [PATCH] gnu: emacs-zenburn-theme: Update to 2.6
  • patch
  • team-emacs
  Done#33483 opened 6 years ago by Brett Gilio
• [PATCH] gnu: meson: Update to 0.48.2
  • patch
  Done#33482 opened 6 years ago by Brett Gilio
• [PATCH] gnu: sqlcipher: Update to 3.4.2
  • patch
  • team-sysadmin
  Done#33481 opened 6 years ago by Brett Gilio
• [PATCH] gnu: ghc-tagged: Update to 0.8.6
  • patch
  • team-haskell
  Done#33480 opened 6 years ago by Brett Gilio
• [PATCH] gnu: ghc-network: Update to 2.8.0.0
  • patch
  • team-haskell
  Done#33479 opened 6 years ago by Brett Gilio
• [PATCH] gnu: agda: Upgrade to 2.5.4.2
  • patch
  Done#33478 opened 6 years ago by Brett Gilio
• [PATCH] gnu: Add emacs-webpaste
  • patch
  • moreinfo
  • team-emacs
  Done#33338 opened 6 years ago by Brett Gilio
• Hurd failing to build
  Done#33330 opened 6 years ago by Brett Gilio
• emacs-realgud build failure
  • team-emacs
  Done#33196 opened 6 years ago by Brett Gilio
• IcedTea & GH-Checkout DRV
  Done#33192 opened 6 years ago by Brett Gilio
• [PATCH] gnu: emacs-nov-el update
  • patch
  • team-emacs
  Done#33132 opened 6 years ago by Brett Gilio
• [PATCH] gnu: update python-biopython to 1.72
  • patch
  • moreinfo
  Done#33032 opened 6 years ago by Brett Gilio
• [PATCH] gnu: csound: Update to 6.11.0
  • patch
  • team-science
  • team-audio
  Done#33028 opened 6 years ago by Brett Gilio
• [PATCH] gnu: stellarium: Update to 0.18.2
  • patch
  • moreinfo
  • team-science
  Done#33027 opened 6 years ago by Brett Gilio
• [PATCH] Upgrade Godot 3.0.4 -> 3.0.6
  • patch
  • team-games
  Done#33001 opened 6 years ago by Brett Gilio
• Executing pre-compiled binaries
  Done#32995 opened 6 years ago by Brett Gilio