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: ocaml-4.01: Use INVOKE.
Ricardo Wurmus
2019-01-25
*
gnu: ocaml-4.02: Use INVOKE.
Ricardo Wurmus
2019-01-25
*
gnu: Add ocaml-craml.
Gabriel Hondet
2019-01-23
*
gnu: ocaml-cmdliner: Update to 1.0.2.
Gabriel Hondet
2019-01-23
*
gnu: ocaml-fmt: Update to 0.8.5.
Gabriel Hondet
2019-01-23
*
gnu: ocaml-uchar: Update to 0.0.2.
Gabriel Hondet
2019-01-23
*
gnu: Add ocaml-ppxlib.
Gabriel Hondet
2019-01-16
*
gnu: Add ocaml-ppx-derivers.
Gabriel Hondet
2019-01-16
*
gnu: Add ocaml-migrate-parsetree.
Gabriel Hondet
2019-01-16
*
gnu: Add ocaml-compiler-libs.
Gabriel Hondet
2019-01-16
*
gnu: Add ocaml-base.
Gabriel Hondet
2019-01-16
*
gnu: Add ocaml-sexplib.
Gabriel Hondet
2019-01-16
*
gnu: Add ocaml-parsexp.
Gabriel Hondet
2019-01-16
*
gnu: Add ocaml-sexplib0.
Gabriel Hondet
2019-01-16
*
gnu: Move Emacs packages to new module.
Ricardo Wurmus
2019-01-16
*
gnu: Move sqlite to separate module.
Ricardo Wurmus
2019-01-16
*
gnu: Add ocaml-merlin.
Gabriel Hondet
2019-01-13
*
gnu: ocaml-graph: Add upstream-name.
Julien Lepiller
2019-01-07
*
gnu: Move coq packages from ocaml to coq.
Julien Lepiller
2019-01-07
*
gnu: Move Emacs modes for Dedukti to ocaml.scm.
Ludovic Courtès
2019-01-07
*
gnu: Move OCaml packages away from maths.scm.
Ludovic Courtès
2019-01-07
*
gnu: ocaml: Fix indentation.
Julien Lepiller
2018-12-27
*
gnu: Add ocaml-yojson.
Gabriel Hondet
2018-12-27
*
gnu: Add ocaml-biniou.
Gabriel Hondet
2018-12-27
*
gnu: Add dedukti.
Gabriel Hondet
2018-12-25
*
gnu: ocaml-lambda-term: Use dune-build-system.
Julien Lepiller
2018-12-18
*
gnu: ocaml-camomile: Use dune-build-system.
Julien Lepiller
2018-12-18
*
gnu: ocaml-re: Use dune-build-system.
Julien Lepiller
2018-12-18
*
gnu: ocaml-cppo: Use dune-build-system.
Julien Lepiller
2018-12-18
*
gnu: ocaml-lwt-log: Use dune-build-system.
Julien Lepiller
2018-12-18
*
gnu: ocaml-lwt: Use dune-build-system.
Julien Lepiller
2018-12-18
*
gnu: ocaml-bitstring: Use dune-build-system.
Julien Lepiller
2018-12-18
*
gnu: ocaml-ppx-tools-versioned: Use dune-build-system.
Julien Lepiller
2018-12-18
*
gnu: ocaml-migrate-parsetree: Use dune-build-system.
Julien Lepiller
2018-12-18
*
gnu: opam: Fix package installation.
Julien Lepiller
2018-12-17
*
gnu: unison: Replace texlive input with texlive-tiny.
Pierre Neidhardt
2018-12-14
*
gnu: coq: Remove unused texlive and hevea from native-inputs.
Pierre Neidhardt
2018-12-14
*
gnu: ocaml@4.01: Enable building on aarch64-linux.
Efraim Flashner
2018-12-02
*
gnu: ocaml@4.01: Remove aarch64-linux from supported-systems.
Efraim Flashner
2018-12-01
*
gnu: coq: Update to 8.8.2.
Julien Lepiller
2018-11-29
*
gnu: camlp5: Update to 7.07.
Julien Lepiller
2018-11-29
*
nu: ocaml: Update to 4.07.1
Julien Lepiller
2018-11-29
*
gnu: opam: Update to 2.0.1.
Julien Lepiller
2018-11-25
*
gnu: ocaml-piqilib: Remove duplicate 'home-page' field.
Mark H Weaver
2018-11-24
*
gnu: ocaml: Update to 4.7.0.
Julien Lepiller
2018-11-18
*
gnu: unison: End all phases with #t.
Tobias Geerinckx-Rice
2018-10-09
*
gnu: ocaml-ssl: Don't use unstable tarball.
Tobias Geerinckx-Rice
2018-09-24
*
gnu: ocaml-ounit: Update to 2.0.8.
Tobias Geerinckx-Rice
2018-09-15
*
gnu: coq: Update to 8.8.1.
Tobias Geerinckx-Rice
2018-09-15
*
gnu: coq: INVOKE.
Tobias Geerinckx-Rice
2018-09-15
[prev]
[next]