{"bugs":[{"bugid":881133,"firstseen":"2022-11-12T18:58:02.011904","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/idris2-0.6.0 - Error: Module Data.Nat not found"},{"bugid":912456,"firstseen":"2023-08-18T14:46:27.153313","severity":"normal","status":"UNCONFIRMED","summary":"dev-lang\/idris2 fails to install with or without FEATURES=\"-xattr\" - install-xattr: setxattr() failed: Operation not permitted"}],"categories":[{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":393,"name":"dev-libs","summary":"The dev-libs category contains various miscellaneous programming libraries."},{"categoryid":383,"name":"dev-scheme","summary":"The dev-scheme category contains libraries and utilities relevant to the Scheme programming language."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d3d7fbef0b5b67b8848e6c459d7cdaea9898870c","committime":"2023-12-27T01:31:51","packageid":73642,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"0f91c770efc10cdaf14d527316b247b1a5e4d26b","committime":"2023-12-27T00:20:47","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: bump to 0.7.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"81ac9cd861c272c09c24016de38448ed26f109dc","committime":"2023-10-04T08:16:29","packageid":73642,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b999766436db56a26baf89607dc507c2d3bc34e8","committime":"2023-10-04T08:10:04","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: drop old 0.5.1_p20220920"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"5730129f096378a379deae0e0fa0dcbf66650cd8","committime":"2023-10-04T08:09:54","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: drop old 0.5.1_p20220224-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6f1929fd16eb7c1c9fde644fee75aaec88854aa7","committime":"2023-02-14T05:31:56","packageid":73642,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"15d76ea3e49bf90f74df649773167d6ba96c0583","committime":"2023-02-14T05:18:51","packageid":73642,"repoid":1,"summary":"Rename dev-python\/{sphinx_rtd_theme → sphinx-rtd-theme}"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"061ce25f1e249b4b3bbd453d28acc5e99fc49794","committime":"2023-02-14T05:18:51","packageid":73642,"repoid":1,"summary":"Rename dev-python\/{sphinx_rtd_theme → sphinx-rtd-theme}"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2b4f317a7f1b2bfb879aa021699818fa9d20c89c","committime":"2023-02-02T18:02:00","packageid":73642,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"fffb2924f0a58e6ac708731417d7dfa275062c69","committime":"2023-02-02T17:42:24","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: H -> COMMIT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"75751261331ffdf39b2f710dbf14322a63416aaf","committime":"2022-11-01T02:46:44","packageid":73642,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3987ee9a4bad215abd51e1e45941b049a2bcc95e","committime":"2022-11-01T02:37:42","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: drop old 0.5.1_p20220131-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"2d8d51fc52852e2c97a597a81086f5b3def76a50","committime":"2022-11-01T02:37:27","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: bump to 0.6.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8c3833ae3797c1e6831b5e1dd6e269e9c3b9bf9b","committime":"2022-09-21T01:46:42","packageid":73642,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"13fca1a0d43c310d36ee087c610958f3157be59c","committime":"2022-09-21T00:40:00","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: drop old 0.5.1_p20211112-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"37543217719631cd6d23892efbee57d703c81f20","committime":"2022-09-21T00:39:37","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: bump to 0.5.1_p20220920"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"10f4c9c6449a869e7bda3969d9f28a03db2c1175","committime":"2022-05-05T12:33:00","packageid":73642,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c9773b9265fb76048213bd456e0dd42d481fe687","committime":"2022-05-05T12:20:41","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: rebuild on chez\/racket slot change"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9b6d1f6e59e43b9a25583e300bc7adc4bdf1c073","committime":"2022-02-27T00:21:55","packageid":73642,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"54b96730fdbc650afa87f069389d743518c7ac88","committime":"2022-02-27T00:12:03","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: bump to 0.5.1_p20220224 (2022.02.24 snapshot)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d6827a951792b9e6415b721b714b7f3acedd69d6","committime":"2022-02-01T04:06:52","packageid":73642,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"50f782a3b8fcc501e244640e80ccc02ed0337844","committime":"2022-02-01T03:27:11","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: bump to 0.5.1_p20220131"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"82fc5ba108ea00fc8c3d256ecd42da28349b1614","committime":"2021-11-27T22:06:56","packageid":73642,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"793a720cdcd065874d2beb7efcad20e208b65bf7","committime":"2021-11-27T21:10:53","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: use dodoc instead of insinto"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"939fca1cb81d17dba3a2d8a4ba082ee916efc2b2","committime":"2021-11-27T20:26:53","packageid":73642,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"54d516476fe0434a45676f12db6a6d2eddb20533","committime":"2021-11-27T20:01:30","packageid":73642,"repoid":1,"summary":"dev-lang\/idris2: new package; add version 0.5.1_p20211112"}],"dependencies":[{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[766773,810262],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512},{"block":false,"categoryid":383,"description":"General purpose, multi-paradigm Lisp-Scheme programming language","ebuildids":[766773,810262],"firstseen":"2011-05-11T14:37:08.743388","maintainer":"scheme@gentoo.org","maintainername":"Gentoo Scheme Project","name":"racket","packageid":57352,"summary":"Grow your Program - Racket's interactive mode encourages experimentation, and quick scripts easily compose into larger systems. Small scripts and large systems both benefit from native-code JIT compilation. When a system gets too big to keep in your head, you can add static types. Grow your Language - extend Racket whenever you need to. Mold it to better suit your tasks without sacrificing interoperability with existing libraries and without having to modify the tool chain. When less is more, you can remove parts of a language or start over and build a new one. Grow your Skills - whether you're just starting out, want to know more about programming language applications or models, looking to expand your horizons, or ready to dive into research, Racket can help you become a better programmer and system builder."},{"block":false,"categoryid":383,"description":"A programming language based on R6RS","ebuildids":[766773,810262],"firstseen":"2021-11-25T18:07:48.947041","name":"chez","packageid":73596,"summary":"Chez Scheme is both a programming language and an implementation of that language, with supporting tools and documentation. As a superset of the language described in the Revised6 Report on the Algorithmic Language Scheme (R6RS), Chez Scheme supports all standard features of Scheme, including first-class procedures, proper treatment of tail calls, continuations, user-defined records, libraries, exceptions, and hygienic macro expansion. Chez Scheme also includes extensive support for interfacing with C and other languages, support for multiple threads possibly running on multiple cores, non-blocking I\/O, and many other features."}],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":810262,"firstseen":"2023-12-27T01:42:17.973322","license":"BSD","moddate":"2024-12-17T22:35:43","packageid":73642,"repoid":1,"slot":"0","uses":["chez","doc","racket","test-full"],"version":"0.7.0"},{"archs":["~amd64","~x86"],"ebuildid":766773,"firstseen":"2022-11-01T03:06:52.615570","license":"BSD","moddate":"2024-12-17T22:35:43","packageid":73642,"repoid":1,"slot":"0","uses":["chez","doc","racket","test-full"],"version":"0.6.0"}],"masks":[],"package":{"categoryid":450,"description":"Purely functional programming language with first class types","firstseen":"2021-11-27T20:32:36.959877","name":"idris2","packageid":73642,"summary":"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."},"rdependencies":[{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[766773,810262],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512},{"block":false,"categoryid":383,"description":"General purpose, multi-paradigm Lisp-Scheme programming language","ebuildids":[766773,810262],"firstseen":"2011-05-11T14:37:08.743388","maintainer":"scheme@gentoo.org","maintainername":"Gentoo Scheme Project","name":"racket","packageid":57352,"summary":"Grow your Program - Racket's interactive mode encourages experimentation, and quick scripts easily compose into larger systems. Small scripts and large systems both benefit from native-code JIT compilation. When a system gets too big to keep in your head, you can add static types. Grow your Language - extend Racket whenever you need to. Mold it to better suit your tasks without sacrificing interoperability with existing libraries and without having to modify the tool chain. When less is more, you can remove parts of a language or start over and build a new one. Grow your Skills - whether you're just starting out, want to know more about programming language applications or models, looking to expand your horizons, or ready to dive into research, Racket can help you become a better programmer and system builder."},{"block":false,"categoryid":383,"description":"A programming language based on R6RS","ebuildids":[766773,810262],"firstseen":"2021-11-25T18:07:48.947041","name":"chez","packageid":73596,"summary":"Chez Scheme is both a programming language and an implementation of that language, with supporting tools and documentation. As a superset of the language described in the Revised6 Report on the Algorithmic Language Scheme (R6RS), Chez Scheme supports all standard features of Scheme, including first-class procedures, proper treatment of tail calls, continuations, user-defined records, libraries, exceptions, and hygienic macro expansion. Chez Scheme also includes extensive support for interfacing with C and other languages, support for multiple threads possibly running on multiple cores, non-blocking I\/O, and many other features."}],"repos":[{"branch":"master","lastcommit":"4757fa8c4189b9ec3bce6a040e199a63d1cebdaa","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/idris-lang.org\/"],"uses":[{"defaultflag":true,"description":"build using dev-scheme\/chez","isdefault":true,"packageid":73642,"use":"chez"},{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"},{"description":"build using dev-scheme\/racket","isdefault":false,"packageid":73642,"use":"racket"},{"description":"pull in depedndencies to run all tests","isdefault":false,"packageid":73642,"use":"test-full"}]}