index
:
guix
add-back-some-substitution-error-handling
add-comments-to-bottom-of-files
add-fractal
add-package-input-loop-detection
add-s-tui
add-temper-exporter
add-ultimate-horizons
add-unknown-horizons
awair-exporter
bar-progress-reporter
bitcoin-unlimited-fix
btrfs-store-subvolume-test
bug-38957-pywinrm
cgit-changes
challenge-changes
channel-graft-control
channel-instances-manifest-graft-control
childhurd-swap
chris-core-updates-no-duplicates-attempt
chromium
clamav
cloud-foundry
coala
commit-policy-tweaks
core-updates-fix-behave
core-updates-fix-python-gst
cross-build-guile-lib-properly
cuirass-add-extra-options
deja-dup-add-nautilus-extension
direnv-build-issue
django-related-changes
docker-system
dont-call-build-derivations-when-computing-the-derivation-for-the-upgrade-services-system-test
duplicity-fix
elasticsearch
emacs-gotest
emacs-graphviz-dot-mode
emacs-ob-http
emacs-ob-mongo
emacs-ob-redis
emacs-ob-restclient
emacs-puppet-mode
emacs-sql-indent
emptyepsilon
ephemeralpg
erlang-and-elixir-changes
export-narinfo-contents
fcgiwrap-logging
fetching-substitutes-without-caching
fix-awscli-help
fix-bitcoin-core
fix-cheese-performance
fix-cpan-importer
fix-crash-in-discovery-scheme-files
fix-gnome-boxes-qemu-smartcard-support
fix-guile-with-libgc-7-on-core-updates
fix-guix-build-coordinator-agent
fix-guix-pack-docker
fix-linkchecker-build
fix-lziprecover-cross-compilation
fix-open-inferior-error-port
fix-python-ipython
fix-red-eclipse
fix-some-compression-scripts
gbrainy
gerbera
getmail-service-fixes
git-multimail
gitolite-service
gitolite-service-broken-match
gnutls-enable-p11-kit
gobject-introspection-improve-shared-library-filename-handling
graphics-tablet
gst-plugins-bad-camerabin-test
guile-build-system-parallel
guile-dbi
guile-fibers-fix-resource-leak
guile-pg
guix-build-coordinator
guix-build-coordinator-service-fixes
guix-data-service-package-and-service-updates
guix-for-beid
guix-for-beid-updates
guix-publish-logging
handle-closing-http-connections-in-process-substitution
hurd-networking
icu4c-zoneinfo
improve-download-nar
improve-guix-weather-progress-reporting
include-aarch64-in-librsvg-for-system
inferior-in-container
inferior-in-container-new
inferior-package-replacement-support
inline-menu-entries-in-bootcfg
josm-improvements
k-of-n-substitute-trust
keyring
laminar
laminar-0.8
laminar-0.9
laminar-1.0
latest-python-gpg
linting-improvements
linux-module-cross-add-source-directory
load-in-linux-vm-use-multiple-cores
march-2020-ruby-updates
master
mongo-tools
mongodb-3.6
move-guix-scripts-substitute-code
multi-layer-docker-images
mysql-use-pid-file
nagstamon
nar-herder-service
nginx-add-some-modules
nginx-support-extra-http-block-content
nginx-support-extra-http-block-content-with-strings
packer
paprefs
patchwork
patchwork-fdo
pgcrypto
picard
postgres-pg_ctl-logging
postgresql-add-openssl-support
postgresql-config-file-docs
postgresql-patch
prepare-to-move-guix-scripts-substitute-code
prometheus
prometheus-node-exporter-enhancements
pwclient
python-machine-learning
python-yq
qemu-netcf-support
qtwebkit
r-minimal-fix
rabbitmq
rails-and-terraform
rails-for-mini-environment-admin
remove-duplicate-packages
remove-duplicate-r-dnacopy
remove-llvm-without-rtti
remove-two-duplicate-ruby-gem-packages
resolve-derivation-lint-warnings
ruby-2.5
ruby-2.6
ruby-bootscale
ruby-build-system-error-or-return-true
ruby-build-system-improvements
ruby-fixes
ruby-rails
ruby-rails-first-4-patches
run-libvirt-tests
run-subversion-tests-in-parallel
run-tests-for-python-django-gravatar2
series-2725-tweaked
snapcast
sops
soundconverter
speed-up-the-derivation-linter
speed-up-the-derivations-linter-attempt-2
split-derivation-lint-checker
sqitch
stop-caching-negative-narinfo-lookups
substitutes-from-bayfront
support-computing-channel-instance-derivations-for-specific-systems
support-subdirectories-in-guix-package-path
system-container-networking
system-container-networking-test
terraform
tweak-http-multiple-get-error-handling
update-0ad-to-24
update-capnproto-and-mash
update-go-to-1.14.4
update-guile-fibers
update-guix-data-service
update-guix-to-97d615b
update-libosinfo
update-mongodb-to-3.6
update-node
update-plover-to-4.0.0.dev8
update-ruby-sassc-and-ruby-sqlite3
update-style-of-desktop-services
upgrade-python-to-3.7.1
use-gexps-in-gcc-boot0
weather-accurately-report-request-stats
wip-guix-data-service
wip-rails
wip-rails-2
wip-rails-extra-packages
wip-rails-extra-packages-fixes
wip-rails-extra-packages-updated
wip-rails-gemset1
wip-rails-gemset2
workaround-cloudfoundry-tar-unpacking-issue
yasm-disable-parallel-tests
zeromq-4.1.6
Guix
Gitolite user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
coq.scm
Commit message (
Expand
)
Author
Age
*
gnu: Don't append '.git' to GitHub uris.
Efraim Flashner
2020-11-19
*
gnu: Update coq and its dependents
Robin Green
2020-09-14
*
gnu: coq-stdpp: Update to 1.4.0.
Robin Green
2020-09-08
*
gnu: coq: fix coqide not finding coqidetop.opt
raingloom
2020-09-07
*
gnu: coq-equations: Update 1.2.1-8.10-2.
Robin Green
2020-09-07
*
gnu: Remove ".git" from "https://github/…/….git".
Ludovic Courtès
2020-07-12
*
gnu: proof-general: Update home-page.
John Soo
2020-04-02
*
gnu: proof-general: Update to 4.4.
John Soo
2020-04-02
*
gnu: coq-mathcomp: Update home page URI.
Björn Höfling
2020-03-05
*
gnu: coq-stdpp: Reword comment.
Brett Gilio
2020-01-07
*
gnu: coq-stdpp: Update to 1.2.1.
Brett Gilio
2020-01-07
*
gnu: coq-bignums: Fix comment spacing.
Brett Gilio
2020-01-07
*
gnu: coq-bignums: Update to 8.10.0.
Brett Gilio
2020-01-07
*
gnu: coq-equations: Update to 1.2.1.
Brett Gilio
2020-01-06
*
gnu: coq-interval: Update to 3.4.1.
Brett Gilio
2020-01-06
*
gnu: coq-coquelicot: Truncate home-page.
Brett Gilio
2020-01-06
*
gnu: coq-coquelicot: Update to 3.0.3.
Brett Gilio
2020-01-06
*
gnu: coq-gappa: Use HTTPS home page URI.
Brett Gilio
2020-01-06
*
gnu: coq-gappa: Update to 1.4.2.
Brett Gilio
2020-01-06
*
gnu: coq-flocq: Use HTTPS home page URI.
Brett Gilio
2020-01-06
*
gnu: coq-flocq: Update to 3.2.0.
Brett Gilio
2020-01-06
*
gnu: coq: Reword several comments.
Brett Gilio
2020-01-06
*
gnu: coq: Update to 8.10.2.
Brett Gilio
2020-01-06
*
gnu: coq-mathcomp: Update to 1.10.0.
Brett Gilio
2020-01-05
*
gnu: coq: Split coqide.
Julien Lepiller
2019-12-12
*
gnu: coq-bignums: Don't use unstable tarball.
Efraim Flashner
2019-11-25
*
gnu: Remove more GCC < 7 workarounds.
Marius Bakke
2019-10-20
*
gnu: coq: Update to 8.9.1.
Tobias Geerinckx-Rice
2019-06-07
*
gnu: coq-equations: Update to 1.2.
Dan Frumin
2019-05-26
*
gnu: Add coq-stdpp.
Dan Frumin
2019-05-24
*
gnu: coq-bignums: Update to 8.9.0.
Julien Lepiller
2019-05-04
*
gnu: coq-mathcomp: Update to 1.8.0.
Julien Lepiller
2019-05-04
*
gnu: coq-gappa: Update to 1.3.4.
Julien Lepiller
2019-05-04
*
gnu: coq: Update to 8.9.0.
Julien Lepiller
2019-05-04
*
gnu: coq-flocq: remove unnecessary return values
Dan Frumin
2019-03-19
*
gnu: coq-coquelicot: Update to 3.0.2.
Dan Frumin
2019-03-04
*
gnu: coq-flocq: Update to 3.1.0.
Dan Frumin
2019-03-01
*
gnu: Add coq-equations.
Dan Frumin
2019-02-13
*
gnu: coq-mathcomp: Don't use unstable tarball.
Tobias Geerinckx-Rice
2019-02-13
*
gnu: coq: Don't use unstable tarball.
Tobias Geerinckx-Rice
2019-02-13
*
gnu: Add coq-autosubst
Dan Frumin
2019-02-07
*
gnu: coq-interval: Use INVOKE.
Ricardo Wurmus
2019-01-25
*
gnu: coq-coquelicot: Use INVOKE.
Ricardo Wurmus
2019-01-25
*
gnu: coq-mathcomp: Use INVOKE.
Ricardo Wurmus
2019-01-25
*
gnu: coq-gappa: Use INVOKE.
Ricardo Wurmus
2019-01-25
*
gnu: proof-general: Use INVOKE.
Ricardo Wurmus
2019-01-25
*
gnu: Move coq packages from ocaml to coq.
Julien Lepiller
2019-01-07