Théo Zimmermann
5c53c37c3f
rocqPackages.rocq-core: introduce withPackages
2026-08-18 15:39:38 +02:00
Théo Zimmermann
124e44e7fa
coqPackages: stop building from coq-packages.nix for >= 9
...
Introduce aliases.
coqPackages.rocq-core: introduce as alias of coq for Coq < 9
To facilitate the merging of coq-modules and rocq-modules derivations.
2026-08-18 15:39:37 +02:00
Vincent Laporte
f06fb2a373
easycrypt: 2026.06 → 2026.07
2026-07-24 16:04:46 +02:00
Pierre Roux
363e06dfb5
rocq-core: ocaml 5.4 -> 5.5
2026-07-23 14:30:58 +02:00
Pierre Roux
24e6aa6736
rocq-core_9_3: init at 9.3+rc1
2026-07-23 14:26:19 +02:00
Pierre Roux
e271009742
coq: set strictDeps
2026-07-23 14:26:19 +02:00
Pierre Roux
85386223f3
rocq-core: set strictDeps
2026-07-23 14:26:19 +02:00
Théo Zimmermann
0235b9517e
mkCoqDerivation: make a wrapper on top of mkRocqDerivation
2026-07-10 17:56:53 +02:00
nixpkgs-ci[bot]
c4c9ab3a7d
Merge master into staging-next
2026-07-01 00:47:18 +00:00
Peder Bergebakken Sundt
301de43bf5
various: migrate to by-name ( #529333 )
2026-06-30 21:40:24 +00:00
nixpkgs-ci[bot]
45908f8f52
Merge master into staging-next
2026-06-29 00:46:48 +00:00
Guy Chronister
558c286992
abella: migrate to by-name
...
Assisted-by: Cursor Composer 2.5
2026-06-28 13:15:21 -05:00
Guy Chronister
d1293cadd9
abella: move all args out of top-level, refactor
...
Assisted-by: Cursor Composer 2.5
2026-06-28 13:12:57 -05:00
Grayson Tinker
dae9680cc0
satallax: migrate to by-name
2026-06-15 21:58:13 -07:00
Grayson Tinker
c88ffd2d5f
tamarin-prover: migrate to by-name
2026-06-15 21:58:11 -07:00
Grayson Tinker
092b433c33
statverif: migrae to by-name
2026-06-15 21:58:09 -07:00
Grayson Tinker
5e211460be
cubicle: migrate to by-name
2026-06-15 21:58:08 -07:00
nixpkgs-ci[bot]
e639a8ab4c
Merge staging-next into staging
2026-06-15 08:01:09 +00:00
R. Ryantm
537522bdd4
easycrypt: 2026.05 -> 2026.06
2026-06-12 21:22:30 +00:00
Vincent Laporte
9eea37174f
ocamlPackages.lsp: 1.25.0 → 1.26.0 ( #527279 )
2026-06-09 18:31:52 +00:00
Weijia Wang
c72e33e827
hol_light: move to by-name/ ( #527115 )
2026-06-05 15:29:36 +00:00
Vincent Laporte
1d5b338a70
coqPackages_8_20.coq-elpi: fix build
...
coqPackages_8_20.stalmarck-tactic: fix build
2026-06-04 16:00:29 +02:00
Vincent Laporte
7531ef2e04
prooftree: refactor ( #525037 )
2026-06-04 04:30:27 +00:00
Vincent Laporte
58a1315c61
hol_light: move to by-name/
2026-06-02 14:20:17 +02:00
Matthias J. Kannwischer
7579aa2942
hol_light: unstable-2024-07-07 -> 0-unstable-2026-05-19
...
Build against the default OCaml (5.4) set instead of the 5.3 pin, using the
module-mode launcher (ocaml-hol). Carries a patch so the pa_j chooser
accepts camlp5 8.05, links findlib into ocaml-hol, and sets up the runtime
OCAMLPATH/CAML_LD_LIBRARY_PATH. Drops the camlp5 8.03.2 downgrade.
2026-05-30 22:17:28 +08:00
Vincent Laporte
23bee868d9
prooftree: refactor
...
Move to pkgs/by-name/
Build with default version of OCaml
Use finalAttrs pattern
Remove unused dependencies
2026-05-27 23:58:18 +02:00
Vincent Laporte
4d52b70f2d
hol_light: fix ( #518941 )
2026-05-27 00:12:39 +00:00
Yohann Boniface
dc77e39c7a
maintainers: remove ciil ( #521442 )
2026-05-25 10:56:53 +00:00
Vincent Laporte
01f96ff369
Coq: disable CoqIDE for Coq < 8.10
2026-05-21 07:12:13 +02:00
Vincent Laporte
823a2a5430
hol_light: fix
2026-05-11 08:33:49 +02:00
Ryan Omasta
ec5e8f914c
maintainers: remove ciil
2026-05-10 04:56:27 -06:00
R. Ryantm
41089fb2c1
easycrypt: 2026.03 -> 2026.05
2026-05-01 18:02:58 +00:00
nixpkgs-ci[bot]
e2a2e659f1
Merge staging-next into staging
2026-03-27 18:20:01 +00:00
Pierre Roux
f54c974cb6
rocq-core_9_2: 9.2+rc2 -> 9.2.0
2026-03-27 15:14:01 +01:00
nixpkgs-ci[bot]
331dafb17f
Merge staging-next into staging
2026-03-23 12:17:33 +00:00
Vincent Laporte
6f0141394f
easycrypt: 2026.02 → 2026.03
2026-03-20 20:47:08 +01:00
Victor Engmark
c4f5dfad0d
treewide: Remove continuation escape at end of commands
...
To avoid confusion and spurious newlines in the output.
Found by searching for a backslash followed by a newline, some
indentation, and then the end of multi-line string marker, using the
following extended regex:
```regex
\\\n +'';
```
2026-03-17 16:47:55 +01:00
Vincent Laporte
a3223d4633
tamarin-prover: 1.10.0 → 1.12.0
2026-03-15 14:41:45 +01:00
Sandro
8139cfac74
isabelle: don't use /tmp as a temp directory ( #490281 )
2026-03-05 20:35:06 +00:00
Guy Chronister
513108f8e3
cvc3: migrate to by-name
2026-02-20 16:56:51 -06:00
Liam Murphy
f1f6a97bd0
isabelle: don't use /tmp as a temp directory
...
Isabelle uses `/tmp` no matter what on Unix platforms, apparently
because using an arbitrary `$TMPDIR` can cause "path too long" errors on
macOS (https://isabelle.in.tum.de/repos/isabelle/rev/ff92d6edff2c ).
However, when not using the sandbox (i.e. on Darwin), this causes the
build to fail if its temp directory (`/tmp/isabelle-`) has already been
created by a previous build using a different build user. For example,
this is the cause of https://hydra.nixos.org/build/321069301 .
So, this PR changes it to use `$TMPDIR` during the build of Isabelle
itself (but still use `/tmp` when using Isabelle normally). I had
initially hoped this would also enable Isabelle to build within the
Darwin sandbox, but something else seems to be wrong (I get an opaque
`I/O error: Operation not permitted`).
2026-02-14 13:28:51 +11:00
Adam C. Stephens
2f6ca67642
easycrypt: 2025.11 → 2026.02 ( #487650 )
2026-02-10 22:28:17 +00:00
Pierre Roux
de9c679e72
rocq_9_2: 9.2+rc1 -> 9.2+rc2
2026-02-10 16:07:06 +01:00
Pierre Roux
50a4f50a55
rocq_9_1: 9.1.0 -> 9.1.1
2026-02-10 08:01:56 +01:00
Jörg Thalheim
4cc2020f06
cedille: remove broken package ( #487235 )
2026-02-07 11:14:05 +00:00
Vincent Laporte
c2eb46556c
easycrypt: 2025.11 → 2026.02
2026-02-06 16:20:24 +01:00
Pierre Roux
e0573ab4e5
rocq-core_9_2: init at 9.2+rc1
2026-02-05 16:58:50 +01:00
Jörg Thalheim
b34c4fe99f
cedille: remove broken package
...
cedille has been marked broken since NixOS 24.05 and remains unfixed.
Per RFC 180, packages broken for a full release cycle are subject
to removal.
Also removes the dependent emacs cedille-mode package.
https://github.com/NixOS/rfcs/pull/180
2026-02-05 14:41:34 +01:00
Stefan Frijters
c851206cb5
easycrypt: expand pythonPath bash array for structuredAttrs
2026-01-27 11:53:10 +01:00
Tom McLaughlin
a776193f6b
coqPackages: add coqWithPackages/coqWithPackages' functions
2026-01-13 23:43:00 -08:00
