Skip to content

Commit 7887127

Browse files
4ever24ever2
authored
Merge pull request #70 from SSProve/towards-nominals
Towards nominals
2 parents 4d594b7 + 4cf9fbe commit 7887127

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

58 files changed

+2247
-4323
lines changed

‎.github/workflows/nix-action-8.18.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -186,9 +186,9 @@ jobs:
186186
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.18" --argstr
187187
job "equations"
188188
- if: steps.stepCheck.outputs.status == 'built'
189-
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
189+
name: 'Building/fetching previous CI target: mathcomp-boot'
190190
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.18" --argstr
191-
job "mathcomp-ssreflect"
191+
job "mathcomp-boot"
192192
- if: steps.stepCheck.outputs.status == 'built'
193193
name: 'Building/fetching previous CI target: mathcomp-analysis'
194194
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.18" --argstr

‎.github/workflows/nix-action-8.19.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -186,9 +186,9 @@ jobs:
186186
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
187187
job "equations"
188188
- if: steps.stepCheck.outputs.status == 'built'
189-
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
189+
name: 'Building/fetching previous CI target: mathcomp-boot'
190190
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
191-
job "mathcomp-ssreflect"
191+
job "mathcomp-boot"
192192
- if: steps.stepCheck.outputs.status == 'built'
193193
name: 'Building/fetching previous CI target: mathcomp-analysis'
194194
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr

‎.github/workflows/nix-action-8.20.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -186,9 +186,9 @@ jobs:
186186
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
187187
job "equations"
188188
- if: steps.stepCheck.outputs.status == 'built'
189-
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
189+
name: 'Building/fetching previous CI target: mathcomp-boot'
190190
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
191-
job "mathcomp-ssreflect"
191+
job "mathcomp-boot"
192192
- if: steps.stepCheck.outputs.status == 'built'
193193
name: 'Building/fetching previous CI target: mathcomp-analysis'
194194
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr

‎.github/workflows/nix-action-9.0.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -186,9 +186,9 @@ jobs:
186186
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0" --argstr
187187
job "equations"
188188
- if: steps.stepCheck.outputs.status == 'built'
189-
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
189+
name: 'Building/fetching previous CI target: mathcomp-boot'
190190
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0" --argstr
191-
job "mathcomp-ssreflect"
191+
job "mathcomp-boot"
192192
- if: steps.stepCheck.outputs.status == 'built'
193193
name: 'Building/fetching previous CI target: mathcomp-analysis'
194194
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0" --argstr

‎.github/workflows/nix-action-MC-dev.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -111,9 +111,9 @@ jobs:
111111
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "MC-dev"
112112
--argstr job "equations"
113113
- if: steps.stepCheck.outputs.status == 'built'
114-
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
114+
name: 'Building/fetching previous CI target: mathcomp-boot'
115115
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "MC-dev"
116-
--argstr job "mathcomp-ssreflect"
116+
--argstr job "mathcomp-boot"
117117
- if: steps.stepCheck.outputs.status == 'built'
118118
name: 'Building/fetching previous CI target: mathcomp-analysis'
119119
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "MC-dev"

‎.gitignore

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,7 @@ Makefile.coq.conf
3232

3333
# markdown preview
3434
*.html
35+
*.css
3536

3637
# Latex
3738
*.aux
@@ -58,3 +59,5 @@ Makefile.coq.conf
5859

5960
# coqdoc
6061
docs/
62+
# Dune
63+
_build/

‎.nix/config.nix

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -86,6 +86,8 @@
8686
extructures.override.version = "master";
8787
deriving.job = false;
8888
deriving.override.version = "master";
89+
mathcomp-bigenough.job = false;
90+
mathcomp-bigenough.override.version = "master";
8991
};
9092

9193
bundles."8.18".push-branches = ["main"];

‎.nix/coq-nix-toolbox.nix

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
"2763e9535d104d31e70695165ed1679611dbe8f5"
1+
"d0b8d01909a77316106775de3716ddf328e221d7"

‎.nix/coq-overlays/ssprove/default.nix

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{ lib, mkCoqDerivation, coq, version ? null
22
, equations
3-
, mathcomp-ssreflect
3+
, mathcomp-boot
44
, mathcomp-analysis
55
, mathcomp-experimental-reals
66
, mathcomp-word
@@ -36,7 +36,7 @@
3636
release."0.1.0".sha256 = "sha256-Yj+k+mBsudi3d6bRVlZLyM4UqQnzAX5tHvxtKoIuNTE=";
3737

3838
propagatedBuildInputs = [equations
39-
mathcomp-ssreflect
39+
mathcomp-boot
4040
mathcomp-analysis
4141
mathcomp-experimental-reals
4242
mathcomp-word

‎.nix/nixpkgs.nix

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
fetchTarball {
2-
url = "https://github.com/NixOS/nixpkgs/archive/d3f5b059bb95493886de9ef215f8e4c95fbe8c0d.tar.gz";
3-
sha256 = "10h5aki8nq59lj59kc50dnhfqiv8b1mvbxvyvsi48fvznw4p32y0";
2+
url = "https://github.com/NixOS/nixpkgs/archive/d026ceca14fe50451c9bc43af676d922f8826b7d.tar.gz";
3+
sha256 = "02g1ymc11z86hv99plp93k88byybjaqsc2hazb1yis53lwzb9hr6";
44
}

0 commit comments

Comments
 (0)