swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-20 04:19:00 +02:00
Code Issues Packages Projects Releases Wiki Activity
608249 commits 5 branches 0 tags 27 GiB
Commit graph

801 commits

Author SHA1 Message Date
Weijia Wang 719845c115
Merge pull request #291867 from r-ryantm/auto-update/coqPackages.LibHyps 
coqPackages.LibHyps: 2.0.4.1 -> 2.0.8
 2024-04-05 20:39:20 +02:00
Vincent Laporte e976fa8f49 coqPackages.vcfloat: enable for Coq 8.18 & 8.19 2024-04-02 22:41:01 +02:00
Vincent Laporte c02cbef6a9 coqPackages.gappalib: 1.5.4 → 1.5.5 2024-04-02 22:41:01 +02:00
Vincent Laporte cffe0a32af coqPackages.interval: 4.9.0 → 4.10.0 2024-04-02 22:41:01 +02:00
Vincent Laporte 3c336f3089
coqPackages.Vpl: fix meta 2024-04-02 07:06:45 +02:00
K900 59bccda153 Revert "stdenv: add meta.repository field" 
This reverts commit 7e1443abbb.
 2024-03-30 17:19:21 +03:00
a-n-n-a-l-e-e 2809c84cfb
Merge pull request #294347 from lolbinarycat/meta.repository 
stdenv: add meta.repository field
 2024-03-29 13:03:04 -07:00
binarycat 7e1443abbb stdenv: add meta.repository field 2024-03-29 14:34:09 -04:00
Vincent Laporte 824952ff6b coqPackages.metacoq: 1.2.1 → 1.3.1 2024-03-29 14:00:42 +01:00
Vincent Laporte e0188a425e coqPackages_8_19.HoTT: init at 8.19 2024-03-28 06:24:51 +01:00
Vincent Laporte 08883e5864 coqPackages_8_19.dpdgraph: init at 1.0+8.19 2024-03-28 06:24:51 +01:00
Vincent Laporte e94ef3d054 coqPackages.VST: 2.13 → 2.14 2024-03-23 07:25:06 +01:00
Vincent Laporte d3babf24b7 compcert: make compatible with Coq 8.18–8.19 2024-03-23 07:25:06 +01:00
Vincent Laporte d70d9425f4 coqPackages.mathcomp-word: 2.2 → 2.3 2024-03-22 08:08:45 +01:00
stuebinm ff1a94e523 treewide: add meta.mainProgram to packages with a single binary 
The nixpkgs-unstable channel's programs.sqlite was used to identify
packages producing exactly one binary, and these automatically added
to their package definitions wherever possible.
 2024-03-19 03:14:51 +01:00
Vincent Laporte 96df16fbd3 coqPackages_8_19.itauto: init at 8.19.0 2024-03-18 20:24:21 +01:00
Vincent Laporte fd88853771 coqPackages_8_19.equations: init at 1.3+8.19 2024-03-18 20:24:21 +01:00
Vincent Laporte 9c14523202 coqPackages_8_19.aac-tactics: init at 8.19.0 2024-03-18 20:24:21 +01:00
Vincent Laporte 453b69da7a coqPackages.VplTactic: init at 0.5 2024-03-15 10:24:58 +01:00
Vincent Laporte 4027ca26b9 coqPackages.Vpl: init at 0.5 2024-03-15 10:24:58 +01:00
Steven Keuchel 033ae0168a compcert: add riscv-linux targets 2024-03-12 11:12:32 +01:00
Yueh-Shun Li 91b3db1309 treewide: fix sourceRoot for fetchgit-based src 
According to Nixpkgs manual[1] and NixOS 23.11 Release Note[2], the
`sourceRoot` attribute passed to `stdenv.mkDerivation` should be
specified as `"${src.name}"` or `"${src.name}/subdir"` when `src` is
produced using `fetchgit`-based fetchers.

`sourceRoot = "source"` or `sourceRoot = "source/subdir"` is based on
the assumption that the `name` attribute of these pre-unpacked fetchers
are always `"source"`, which is not the case. Expecting constant `name`
also makes the source FODs prone to irrelevent hashes during version
bumps.

[1]: https://nixos.org/manual/nixpkgs/unstable/#var-stdenv-sourceRoot
[2]: https://nixos.org/manual/nixos/stable/release-notes#sec-release-23.11
 2024-03-09 07:53:25 +08:00
R. Ryantm 90211718d9 coqPackages.LibHyps: 2.0.4.1 -> 2.0.8 2024-02-27 15:46:08 +00:00
Léo Stefanesco 07fbc0bb0f coqPackages.coq-record-update: 0.3.1 -> 0.3.3 2024-02-22 08:37:15 +01:00
Ali Caglayan 8398a209b6
coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,0.1.8+8.19.0} (#288185) 
* coqPackages.serapi: 8.18.0+0.18.0 -> 8.19.0+0.19.0

* coqPackages.coq-lsp: 0.1.8+8.18 -> 0.1.8+8.19

Signed-off-by: Ali Caglayan <alizter@gmail.com>
 2024-02-16 08:59:26 +01:00
Ben Siraphob 3b3b81a253
Merge pull request #286807 from siraben/smtcoq-versions 
coqPackages.smtcoq: expand to more supported versions
 2024-02-12 15:41:11 -05:00
Ben Siraphob ea5f5df1c7
coqPackages.smtcoq: expand to more supported versions 2024-02-12 15:40:25 -05:00
Sebastian 6ed38373dc
coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276) 
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
 2024-02-09 18:24:43 +01:00
Cyril Cohen 4116f0379e
coqPackages.vscoq-language-server: init at 2.0.3 (#256515) 2024-02-01 10:10:43 +01:00
Pierre Roux 145b429851 coqPackages_8_19.mathcomp-real-closed 2024-01-26 19:35:30 +01:00
Pierre Roux 2114214e50 coqPackages_8_19.multinomials 2024-01-26 19:35:30 +01:00
Pierre Roux d25c59bebb coqPackages_8_19.extructures 2024-01-26 19:35:30 +01:00
Pierre Roux 523c093518 coqPackages_8_19.mathcomp-algebra-tactics 2024-01-26 19:35:30 +01:00
Pierre Roux aad90cd395 coqPackages_8_19.reglang 2024-01-26 19:35:30 +01:00
Pierre Roux a7c7c0b6e4 coqPackages_8_19.coqprime 2024-01-26 19:35:30 +01:00
Pierre Roux 9a39384065 coqPackages.coquelicot: 3.4.0 -> 3.4.1 2024-01-26 19:35:30 +01:00
Pierre Roux 5cc532b336 coqPackages_8_19.QuickChick 2024-01-26 19:35:30 +01:00
Pierre Roux 9e6484a32d coqPackages_8_19.ITree 2024-01-26 19:35:30 +01:00
Pierre Roux b57a1c6934 coqPackages_8_19.paco 2024-01-26 19:35:30 +01:00
Pierre Roux c61980d92b coqPackages.flocq: 4.1.3 -> 4.1.4 2024-01-26 19:35:30 +01:00
Pierre Roux 49e703cde2 Add Coqeal 2.0.1 and algebra-tactics 1.2.3 2024-01-19 10:46:00 +01:00
Vincent Laporte 6088947f52 coqPackages.smtcoq.cvc4: fix build by building CLN in the same stdenv 2024-01-18 14:24:48 +01:00
Vincent Laporte 2fba629f59 coqPackages.QuickChick: 2.0.1 → 2.0.2 2024-01-18 06:03:06 +01:00
Pierre Roux 2c7c560330 coqPackages.mathcomp: 2.1.0 -> 2.2.0 2024-01-17 15:40:16 +01:00
Pierre Roux e1f1b5bcd2 coqPackages.mathcomp: 1.18.0 -> 1.19.0 2024-01-16 10:34:25 +01:00
Cyril Cohen 18e59521cd
coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 (#280269) 
* coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0

* removing trakt for 8.18 for now at least
 2024-01-12 07:07:15 +01:00
Pierre Roux 9c5eec2b20 coqPackages.coq-elpi: 1.19.0 -> 2.0.1 2024-01-02 18:39:20 +01:00
Pierre Roux 7c0435d86d Bump a few things compiling with Coq 8.19 2023-12-19 20:20:53 +01:00
Pierre Roux 77f1a05307 coqPackages.paramcoq: 8.18 -> 8.19 2023-12-19 14:41:21 +01:00
Pierre Roux cc3dbddd4a coqPackages.bignums: 8.18 -> 8.19 2023-12-19 14:41:21 +01:00