Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2022-11-13 | coqPackages.interval: 4.5.2 → 4.6.0 | Vincent Laporte | 1 | -0/+2 | |
2022-10-13 | Merge remote-tracking branch 'origin/staging-next' into staging | Martin Weinelt | 1 | -0/+2 | |
2022-10-13 | coqPackages.relation-algebra: init at 1.7.8 for Coq 8.16 | Vincent Laporte | 1 | -0/+2 | |
2022-10-13 | Merge branch 'master' into staging | Vladimír Čunát | 2 | -10/+16 | |
2022-10-13 | Merge pull request #194256 from Artturin/treewides2 | Artturi | 1 | -1/+1 | |
2022-10-12 | coqPackages.coq-elpi: disable OCaml warnings | Vincent Laporte | 1 | -0/+2 | |
2022-10-11 | Adding mathcomp-analysis single | Pierre Roux | 1 | -10/+14 | |
2022-10-11 | coqPackages.VST: enable for Coq 8.16 | Vincent Laporte | 1 | -2/+2 | |
2022-10-11 | coqPackages.compcert: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+10 | |
2022-10-10 | treewide: *Flags convert to list from str | Artturin | 1 | -1/+1 | |
*Flags implies a list slightly relevant: > stdenv: start deprecating non-list configureFlags https://github.com/NixOS/nixpkgs/pull/173172 the makeInstalledTests function in `nixos/tests/installed-tests/default.nix` isn't available outside of nixpkgs so it's not a breaking change | |||||
2022-10-07 | coqPackages.simple-io: fix & add tests | Vincent Laporte | 2 | -2/+26 | |
2022-10-05 | Merge pull request #194539 from vbgl/coq-category-theory-1.0.0 | John Wiegley | 1 | -0/+2 | |
2022-10-05 | coqPackages.mathcomp-word: 1.1 → 2.0 | Vincent Laporte | 1 | -1/+2 | |
2022-10-05 | coqPackages.category-theory: 20211213 → 1.0.0 | Vincent Laporte | 1 | -0/+2 | |
2022-10-02 | coqPackages.mkCoqDerivation: upgrade to Dune 3 | Théo Zimmermann | 9 | -11/+11 | |
And remove the version number from the corresponding attributes. | |||||
2022-09-29 | coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0 | Cyril Cohen | 2 | -2/+4 | |
2022-09-27 | Merge pull request #192437 from kyoDralliam/metacoq-fix-dev | Vincent Laporte | 1 | -8/+14 | |
fix metacoq builds for coq >= 8.16 in dev mode, adds 1.1 release for coq 8.16 | |||||
2022-09-27 | Add metacoq 1.1 release | Kenji Maillard | 1 | -3/+6 | |
2022-09-26 | Split coqPackages.mathcomp-analysis | Pierre Roux | 1 | -27/+60 | |
In preparation of https://github.com/math-comp/analysis/pull/600 | |||||
2022-09-25 | coqPackages.serapi: init at 8.16.0+0.16.0 for Coq 8.16 | Vincent Laporte | 1 | -1/+11 | |
2022-09-22 | fix dev metacoq builds for coq >= 8.16 | Kenji Maillard | 1 | -5/+8 | |
2022-09-22 | Support dev version of equations | Matthieu Sozeau | 1 | -1/+1 | |
2022-09-20 | coqPackages.QuickChick: 1.6.2 → 1.6.4 | Vincent Laporte | 1 | -1/+2 | |
2022-09-19 | coqPackages.corn: 8.13.0 → 8.16.0 | Vincent Laporte | 1 | -2/+4 | |
2022-09-18 | coqPackages.interval: 4.5.1 → 4.5.2 | Vincent Laporte | 1 | -1/+2 | |
2022-09-14 | Merge pull request #183106 from kyoDralliam/metacoq-1.0-8.16 | Théo Zimmermann | 1 | -2/+8 | |
Add the release 1.0 of metacoq for coq 8.16 | |||||
2022-09-10 | coqPackages.gappalib: 1.5.1 → 1.5.2 | Vincent Laporte | 1 | -1/+2 | |
2022-09-08 | coqPackages.Verdi: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.aac-tactics: init at 8.16.0 | Vincent Laporte | 1 | -0/+2 | |
2022-09-08 | coqPackages.addition-chains: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.autosubst: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.coq-bits: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.coqeal: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.extructures: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.deriving: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.gaia-hydras: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.goedel: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.graph-theory: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.itauto: init at 8.16.0 | Vincent Laporte | 1 | -0/+2 | |
2022-09-08 | coqPackages.coquelicot: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.mathcomp-tarjan: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.mathcomp-word: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.mathcomp-zify: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.reglang: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-09-08 | coqPackages.trakt: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-08-31 | mathcomp: 1.14.0 -> 1.15.0 | Enrico Tassi | 8 | -13/+24 | |
2022-08-31 | coqPackages.mathcomp-analysis: 0.3.13 → 0.5.3 | Vincent Laporte | 1 | -0/+2 | |
2022-08-27 | coqPackages.stdpp: 1.7.0 → 1.8.0 | Vincent Laporte | 2 | -2/+4 | |
coqPackages.iris: 3.6.0 → 4.0.0 | |||||
2022-08-18 | coqPackages.coq-record-update: 0.3.0 → 0.3.1 | Vincent Laporte | 1 | -2/+3 | |
2022-08-17 | coqPackages.coq-ext-lib: 0.11.6 → 0.11.7 | Vincent Laporte | 1 | -0/+2 | |