-
Notifications
You must be signed in to change notification settings - Fork 18
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
IOHK
committed
Nov 17, 2023
1 parent
dd5ff9b
commit f7e2c8d
Showing
37 changed files
with
2,239 additions
and
3 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
53 changes: 53 additions & 0 deletions
53
...ge/Flint2-0.1.0.2-r0-ab228bde1632d78d33f60d06886795cfd9314a03c12dd4c3a6ec7365499ac6ac.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,53 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "1.18"; | ||
| identifier = { name = "Flint2"; version = "0.1.0.2"; }; | ||
| license = "GPL-2.0-only"; | ||
| copyright = "Copyright (c) 2023 Hartmut Monien"; | ||
| maintainer = "[email protected]"; | ||
| author = "Hartmut Monien"; | ||
| homepage = "https://github.com/monien/Flint2#readme"; | ||
| url = ""; | ||
| synopsis = "Haskell bindings for the flint library for number theory"; | ||
| description = "A Haskell Wrapper for Flint\nThis library provides access to the functionality of the FLINT.\nSo what is it?\nFLINT is a C library for doing number theory, freely available under the GNU LGPL at [https://flintlib.org](https://flintlib.org)\nAt its core, FLINT provides arithmetic in standard rings such as the integers, rationals, algebraic, real, complex and p-adic numbers, finite fields, and number fields. It also provides polynomials (univariate and multivariate), power series, and matrices.\nAt the research frontier\nFLINT has been used for many large scale research computations (e.g. A Trillion Triangles) and has been cited in hundreds of publications. FLINT's authors themselves have published more than 20 papers describing new algorithms first implemented within or on top of FLINT."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."groups" or (errorHandler.buildDepError "groups")) | ||
| ]; | ||
| libs = [ (pkgs."flint" or (errorHandler.sysDepError "flint")) ]; | ||
| pkgconfig = [ | ||
| (pkgconfPkgs."flint" or (errorHandler.pkgConfDepError "flint")) | ||
| (pkgconfPkgs."gmp" or (errorHandler.pkgConfDepError "gmp")) | ||
| ]; | ||
| build-tools = [ | ||
| (hsPkgs.buildPackages.hsc2hs.components.exes.hsc2hs or (pkgs.buildPackages.hsc2hs or (errorHandler.buildToolDepError "hsc2hs:hsc2hs"))) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "Flint2-test" = { | ||
| depends = [ | ||
| (hsPkgs."Flint2" or (errorHandler.buildDepError "Flint2")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
53 changes: 53 additions & 0 deletions
53
...ge/Flint2-0.1.0.3-r0-a537f912d07712f94f21c36182a48e4243f8bc080858129165414de6e7085775.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,53 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "1.18"; | ||
| identifier = { name = "Flint2"; version = "0.1.0.3"; }; | ||
| license = "GPL-2.0-only"; | ||
| copyright = "Copyright (c) 2023 Hartmut Monien"; | ||
| maintainer = "[email protected]"; | ||
| author = "Hartmut Monien"; | ||
| homepage = "https://github.com/monien/Flint2#readme"; | ||
| url = ""; | ||
| synopsis = "Haskell bindings for the flint library for number theory"; | ||
| description = "A Haskell Wrapper for Flint\nThis library provides access to the functionality of the FLINT.\nSo what is it?\nFLINT is a C library for doing number theory, freely available under the GNU LGPL at [https://flintlib.org](https://flintlib.org)\nAt its core, FLINT provides arithmetic in standard rings such as the integers, rationals, algebraic, real, complex and p-adic numbers, finite fields, and number fields. It also provides polynomials (univariate and multivariate), power series, and matrices.\nAt the research frontier\nFLINT has been used for many large scale research computations (e.g. A Trillion Triangles) and has been cited in hundreds of publications. FLINT's authors themselves have published more than 20 papers describing new algorithms first implemented within or on top of FLINT."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."groups" or (errorHandler.buildDepError "groups")) | ||
| ]; | ||
| libs = [ (pkgs."flint" or (errorHandler.sysDepError "flint")) ]; | ||
| pkgconfig = [ | ||
| (pkgconfPkgs."flint" or (errorHandler.pkgConfDepError "flint")) | ||
| (pkgconfPkgs."gmp" or (errorHandler.pkgConfDepError "gmp")) | ||
| ]; | ||
| build-tools = [ | ||
| (hsPkgs.buildPackages.hsc2hs.components.exes.hsc2hs or (pkgs.buildPackages.hsc2hs or (errorHandler.buildToolDepError "hsc2hs:hsc2hs"))) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "Flint2-test" = { | ||
| depends = [ | ||
| (hsPkgs."Flint2" or (errorHandler.buildDepError "Flint2")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
53 changes: 53 additions & 0 deletions
53
...ge/Flint2-0.1.0.4-r0-0f37aadd06f0aa59ef9da67689824be39f6118d62fbe65c5f3b8405cfdbcdc08.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,53 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "1.18"; | ||
| identifier = { name = "Flint2"; version = "0.1.0.4"; }; | ||
| license = "GPL-2.0-only"; | ||
| copyright = "Copyright (c) 2023 Hartmut Monien"; | ||
| maintainer = "[email protected]"; | ||
| author = "Hartmut Monien"; | ||
| homepage = "https://github.com/monien/Flint2#readme"; | ||
| url = ""; | ||
| synopsis = "Haskell bindings for the flint library for number theory"; | ||
| description = "This library provides access to the functionality of the FLINT.\nFLINT is a C library for doing number theory, freely available under the GNU LGPL.\nAt its core, FLINT provides arithmetic in standard rings such as the integers, rationals, algebraic, real, complex and p-adic numbers, finite fields, and number fields. It also provides polynomials (univariate and multivariate), power series, and matrices.\nFLINT has been used for many large scale research computations (e.g. A Trillion Triangles) and has been cited in hundreds of publications. FLINT's authors themselves have published more than 20 papers describing new algorithms first implemented within or on top of FLINT."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."groups" or (errorHandler.buildDepError "groups")) | ||
| ]; | ||
| libs = [ (pkgs."flint" or (errorHandler.sysDepError "flint")) ]; | ||
| pkgconfig = [ | ||
| (pkgconfPkgs."flint" or (errorHandler.pkgConfDepError "flint")) | ||
| (pkgconfPkgs."gmp" or (errorHandler.pkgConfDepError "gmp")) | ||
| ]; | ||
| build-tools = [ | ||
| (hsPkgs.buildPackages.hsc2hs.components.exes.hsc2hs or (pkgs.buildPackages.hsc2hs or (errorHandler.buildToolDepError "hsc2hs:hsc2hs"))) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "Flint2-test" = { | ||
| depends = [ | ||
| (hsPkgs."Flint2" or (errorHandler.buildDepError "Flint2")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
Oops, something went wrong.