aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/boost.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/boost.scm')
0 files changed, 0 insertions, 0 deletions
generated by cgit
coq-flocq to 4.1.1.pukkamustard 2023-11-23gnu: Add coq-for-coqtail.Jean-Pierre De Jesus DIAZ 2023-02-16gnu: Remove unneeded module imports.Efraim Flashner 2022-11-27gnu: coq-core: Update to 8.16.1.Julien Lepiller 2022-10-23gnu: Fix typos.Vagrant Cascadian 2022-09-24gnu: Add coq-mathcomp-bigenough.Garek Dyszel 2022-09-24gnu: Add coq-mathcomp-finmap.Garek Dyszel 2022-09-22gnu: coq: Update to 8.16.0.Julien Lepiller 2022-09-22gnu: coq-interval: Update to 4.5.2.Julien Lepiller 2022-09-22gnu: coq-mathcomp: Update to 1.15.0.Julien Lepiller 2022-09-22gnu: coq-gappa: Update to 1.5.2.Julien Lepiller 2022-09-22gnu: coq-flocq: Update to 4.1.0.Julien Lepiller 2022-09-22gnu: lablgtk3: Update to 3.1.2.Julien Lepiller 2022-08-13gnu: dune: Update to 4.4.1.Julien Lepiller 2022-06-18gnu: coq: Update to 8.15.2.Julien Lepiller a href='/guix/commit/nix/nix-daemon?id=1071f781d97509347144754b3248581cf7c6c1d5'>daemon: '--listen' can be passed several times, can specify TCP endpoints.Ludovic Courtès 2017-06-04daemon: Add '--timeout' and '--max-silent-time'.Ludovic Courtès 2017-01-15daemon: Client settings no longer override daemon settings.Ludovic Courtès 2016-12-09daemon: Set ownership of kept build directories to the calling user.Hartmut Goebel 2016-12-01daemon: Buffer data sent to clients by the 'export-path' RPC.Ludovic Courtès 2016-11-16daemon: Add 'built-in-builders' RPC.Ludovic Courtès 2016-03-16build: Default to "https://mirror.hydra.gnu.org/" for substitutes.Ludovic Courtès 2015-12-13daemon: Add '--rounds'.Ludovic Courtès 2015-12-08daemon: Allow builds to be repeated.Eelco Dolstra 2015-12-02daemon: Add 'buildMode' parameter to 'buildPaths' RPC.Ludovic Courtès 2015-12-02daemon: int2String -> std::to_string.Eelco Dolstra