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
/
ocaml.scm
Commit message (
Expand
)
Author
Age
*
gnu: coq-coquelicot: Fix for coq 8.8.
Julien Lepiller
2018-05-04
*
gnu: coq-bignums: Update to 8.8.0.
Julien Lepiller
2018-05-04
*
gnu: coq-mathcomp: Update to 1.7.0.
Julien Lepiller
2018-05-04
*
gnu: coq-gappa: Update to 1.3.2.
Julien Lepiller
2018-05-04
*
gnu: coq-flocq: Update to 2.6.1.
Julien Lepiller
2018-05-04
*
gnu: coq: Update to 8.8.0.
Julien Lepiller
2018-05-04
*
gnu: ldc, bap: Build with Clang 3.8.
Marius Bakke
2018-04-06
*
gnu: coq-flocq: Use predictable source URI.
Tobias Geerinckx-Rice
2018-03-23
*
gnu: coq-flocq: Update phase style.
Tobias Geerinckx-Rice
2018-03-20
*
gnu: Fix common unquote typos.
Tobias Geerinckx-Rice
2018-03-17
*
gnu: ocaml-ssl: Declare a source file-name.
Efraim Flashner
2018-03-13
*
gnu: ocaml-lwt: Declare a source file-name.
Efraim Flashner
2018-03-13
*
gnu: ocaml-bitstring: Declare a source file-name.
Efraim Flashner
2018-03-13
*
gnu: ocaml-piqi: Declare a source file-name.
Efraim Flashner
2018-03-13
*
gnu: ocaml-result: Declare a source file-name.
Efraim Flashner
2018-03-13
*
gnu: ocaml-stringext: Declare a source file-name.
Efraim Flashner
2018-03-13
*
gnu: ocaml-qtest: Update to 2.8.
Efraim Flashner
2018-03-13
*
gnu: ocaml-qtest: Declare a source file-name.
Efraim Flashner
2018-03-13
*
Merge branch 'master' into core-updates
Mark H Weaver
2018-02-03
|
\
|
*
gnu: ocaml-findlib: Update to 1.7.3.
Peter Kreye
2018-02-01
|
*
gnu: Add ocaml-tsdl.
Peter Kreye
2018-02-01
|
*
gnu: Add ocaml-ocb-stubblr.
Peter Kreye
2018-02-01
|
*
gnu: Add ocaml-ctypes.
Peter Kreye
2018-02-01
|
*
gnu: Add ocaml-integers.
Peter Kreye
2018-02-01
|
*
gnu: ocaml-findlib-1.7.3: Fix install.
Peter Kreye
2018-02-01
*
|
Merge branch 'master' into core-updates
Leo Famulari
2018-01-11
|
\
|
|
*
gnu: ocaml-zed: Update to 1.6.
Tobias Geerinckx-Rice
2018-01-10
*
|
gnu: ocaml: Use gcc:lib from gcc, not gcc-4.9.
Mark H Weaver
2018-01-02
|
/
*
gnu: ocaml-utop: Update to 2.0.2.
Tobias Geerinckx-Rice
2017-12-23
*
gnu: ocaml-jbuilder: Update to 1.0+beta16.
Tobias Geerinckx-Rice
2017-12-23
*
gnu: ocaml-ssl: Expand description.
Tobias Geerinckx-Rice
2017-12-23
*
gnu: ocaml-ssl: Update to 0.5.5.
Tobias Geerinckx-Rice
2017-12-23
*
gnu: ocaml-bitstring: Update to 2.1.1.
Tobias Geerinckx-Rice
2017-12-23
*
gnu: coq-interval: Fix source URL for 3.3.0.
Ludovic Courtès
2017-11-24
*
Fix ambiguous imports.
Ludovic Courtès
2017-11-07
*
gnu: Add ocaml-utop.
Peter Kreye
2017-10-28
*
gnu: Add ocaml-findlib-1.7.3.
Peter Kreye
2017-10-28
*
gnu: Add ocaml-lambda-term.
Peter Kreye
2017-10-28
*
gnu: Add ocaml-zed.
Peter Kreye
2017-10-28
*
gnu: Add ocaml-jbuilder.
Peter Kreye
2017-10-28
*
gnu: Update coq-interval to 3.3.0.
Julien Lepiller
2017-10-22
*
gnu: Add coq-bignums.
Julien Lepiller
2017-10-22
*
gnu: Update coq-coquelicot to 3.0.1.
Julien Lepiller
2017-10-22
*
gnu: Update coq-mathcomp to 1.6.2.
Julien Lepiller
2017-10-22
*
gnu: Update coq-flocq to 2.6.0.
Julien Lepiller
2017-10-22
*
gnu: Update coq to 8.7.0.
Julien Lepiller
2017-10-22
*
gnu: camlp5: install META file.
Julien Lepiller
2017-10-22
*
gnu: Add ocaml-camomile.
Julien Lepiller
2017-09-27
*
gnu: Add bap.
Julien Lepiller
2017-09-27
*
gnu: Add ocaml-piqi.
Julien Lepiller
2017-09-27
[next]