nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-04-16 21:38:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #329695 from definfo/coq-high-school-geometry-8.16

Browse Source 
coqPackages.high-school-geometry: init at 8.16
This commit is contained in:
Vincent Laporte 2024-07-31 09:52:37 +02:00 committed by GitHub
commit ee96b8a3cf
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
maintainers/maintainer-list.nix
View File

@ -4780,6 +4780,12 @@
githubId = 41747605;
keys = [ { fingerprint = "6130 3BBA D7D1 BF74 EFA4 4E3B E7FE 2087 E438 0E64"; } ];
};
definfo = {
name = "Adrien SUN";
email = "hjsdbb1@gmail.com";
github = "definfo";
githubId = 66514911;
};
deifactor = {
name = "Ash Zahlen";
email = "ext0l@riseup.net";

27
pkgs/development/coq-modules/high-school-geometry/default.nix Normal file
View File

@ -0,0 +1,27 @@
{ lib, mkCoqDerivation, coq, version ? null }:
mkCoqDerivation {
pname = "high-school-geometry";
inherit version;
repo = "HighSchoolGeometry";
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.16" "8.20"; out = "8.16"; }
{ case = range "8.12" "8.16"; out = "8.13"; }
{ case = "8.12"; out = "8.12"; }
{ case = "8.11"; out = "8.11"; }
] null;
release = {
"8.16".sha256 = "sha256-HvUrZ6l7wCshuKUZs8rvfMkTEv+oXuogI5LICcD8Bn8=";
"8.13".sha256 = "sha256-5F/6155v0bWi5t7n4qU/GuR6jENngvWIIqJGPURzIeQ=";
"8.12".sha256 = "sha256-OF7sahU+5Ormkcrd8t6p2Kp/B2/Q/6zYTV3/XBvlGHc=";
"8.11".sha256 = "sha256-sVGeBBAJ7a7f+EJU1aSUvIVe9ip9PakY4379XWvvoqw=";
};
releaseRev = v: "v${v}";
meta = with lib; {
description = "Geometry in Coq for French high school";
maintainers = with maintainers; [ definfo ];
license = licenses.lgpl21Plus;
};
}

1
pkgs/top-level/coq-packages.nix
View File

@ -68,6 +68,7 @@ let
graph-theory = callPackage ../development/coq-modules/graph-theory {};
heq = callPackage ../development/coq-modules/heq {};
hierarchy-builder = callPackage ../development/coq-modules/hierarchy-builder {};
high-school-geometry = callPackage ../development/coq-modules/high-school-geometry {};
HoTT = callPackage ../development/coq-modules/HoTT {};
hydra-battles = callPackage ../development/coq-modules/hydra-battles {};
interval = callPackage ../development/coq-modules/interval {};