diff options
author | V3n3RiX <venerix@koprulu.sector> | 2021-12-05 02:47:11 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2021-12-05 02:47:11 +0000 |
commit | 2771f79232c273bc2a57d23bf335dd81ccf6af28 (patch) | |
tree | c8af0fd04194aed03cf067d44e53c7edd3e9ab84 /dev-lang/idris2/metadata.xml | |
parent | e9d044d4b9b71200a96adfa280848858c0f468c9 (diff) |
gentoo resync : 05.12.2021
Diffstat (limited to 'dev-lang/idris2/metadata.xml')
-rw-r--r-- | dev-lang/idris2/metadata.xml | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/dev-lang/idris2/metadata.xml b/dev-lang/idris2/metadata.xml new file mode 100644 index 000000000000..b8e693b1cb86 --- /dev/null +++ b/dev-lang/idris2/metadata.xml @@ -0,0 +1,27 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="project"> + <email>scheme@gentoo.org</email> + <name>Gentoo Scheme Project</name> + </maintainer> + <longdescription lang="en"> + Idris is a programming language designed to encourage Type-Driven + Development. + In type-driven development, types are tools for constructing programs. + We treat the type as the plan for a program, and use the compiler + and type checker as our assistant, guiding us to a complete program that + satisfies the type. The more expressive the type is that we give up front, + the more confidence we can have that the resulting program will be correct. + </longdescription> + <upstream> + <bugs-to>https://github.com/idris-lang/Idris2/issues</bugs-to> + <remote-id type="github">idris-lang/Idris2</remote-id> + </upstream> + <use> + <flag name="chez">build using <pkg>dev-scheme/chez</pkg></flag> + <flag name="racket">build using <pkg>dev-scheme/racket</pkg></flag> + <flag name="test-full">pull in depedndencies to run all tests</flag> + </use> +</pkgmetadata> |