{"bugs":[{"bugid":947495,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/ats2-0.4.2-r1 - [meson] install: cannot create regular file patsopt: No such file or directory"},{"bugid":952963,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/ats2-0.4.2-r1 - [gcc-15] make[2]: No rule to make target patscc_dats.c, needed by patscc. Stop."},{"bugid":969569,"firstseen":"2026-02-03T23:46:55.136812","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/ats2-0.4.2-r1 - [glibc-2.43] [jdk26] array.cats: error: expected identifier or ( before _Generic"}],"categories":[{"categoryid":395,"name":"app-editors","summary":"The app-editors category contains text editors."},{"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."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7ad98bd2e9f659df2b37b49a258a29fa647d09d3","committime":"2024-10-27T09:03:31","packageid":76599,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/942204\nCloses: https:\/\/bugs.gentoo.org\/942050\nCloses: https:\/\/bugs.gentoo.org\/923881\nSigned-off-by: Maciej Barć ","commitid":"ff4ad1ea09221b9cb6a9385f42fba9177934b6f5","committime":"2024-10-27T08:10:51","packageid":76599,"repoid":1,"summary":"dev-lang\/ats2: patch make sub-call; fix AR"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5a8fec991912b14f7d082c63a2331f8842fc4481","committime":"2024-10-25T22:50:35","packageid":76599,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d045e5a87d1ca4678b47faa459c2221c895ff499","committime":"2024-10-25T22:32:44","packageid":76599,"repoid":1,"summary":"dev-lang\/ats2: tweak SRC_URI"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/942145\nSigned-off-by: Maciej Barć ","commitid":"a4c5817769b475c9ea5861e307237c67027fe09f","committime":"2024-10-25T22:31:28","packageid":76599,"repoid":1,"summary":"dev-lang\/ats2: use 1 job for install"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1267ba1087cd4dd4b07490cdb7c916baadb60738","committime":"2024-10-23T22:37:35","packageid":76599,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Two patches come from the Debian's ATS2 package, that is:\n\"deprecated-cl-package\" and \"prelude-function-prototypes\".\n\nBug: https:\/\/bugs.gentoo.org\/923881\nCloses: https:\/\/bugs.gentoo.org\/920639\nCloses: https:\/\/bugs.gentoo.org\/941105\nCloses: https:\/\/bugs.gentoo.org\/917412\nSigned-off-by: Maciej Barć ","commitid":"2df15d3d969420af92b0482221005aa2c9938a87","committime":"2024-10-23T21:44:46","packageid":76599,"repoid":1,"summary":"dev-lang\/ats2: patches to Makefile and misc ones from Debian"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c3d2208f84cdd030a3d836725c92276df8537d7c","committime":"2023-10-19T21:46:53","packageid":76599,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"dfb5ad025d2de886f99407e245d640ea6845c9e7","committime":"2023-10-19T21:22:25","packageid":76599,"repoid":1,"summary":"dev-lang\/ats2: new package; add 0.4.2"}],"dependencies":[{"block":false,"categoryid":395,"description":"The advanced, extensible, customizable, self-documenting editor","ebuildids":[842260],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"emacs","packageid":45775,"summary":"GNU Emacs is an extensible, customizable text editor - and more. At its core is an interpreter for Emacs Lisp, a dialect of the Lisp programming language with extensions to support text editing. The features of GNU Emacs include: * Content-sensitive editing modes, including syntax coloring, for a variety of file types including plain text, source code, and HTML. * Complete built-in documentation, including a tutorial for new users. * Full Unicode support for nearly all human languages and their scripts. * Highly customizable, using Emacs Lisp code or a graphical interface. * A large number of extensions that add other functionality, including a project planner, mail and news reader, debugger interface, calendar, and more. Many of these extensions are distributed with GNU Emacs; others are available separately."},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[842260],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":842260,"firstseen":"2024-10-23T23:54:30.000801","license":"GPL-3+","moddate":"2026-03-22T20:20:50","packageid":76599,"repoid":1,"slot":"0\/0.4.2","uses":["emacs"],"version":"0.4.2-r1"}],"masks":[],"package":{"categoryid":450,"description":"Functional programming language with dependent types","firstseen":"2023-10-19T23:06:55.965172","name":"ats2","packageid":76599,"summary":"ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. ATS2 extends ATS with an advanced template system, allowing functional programming to be employed in a setting where only bare minimal run-time support is available. In addition, the template system makes ATS2 highly suitable for supporting numerical computation."},"rdependencies":[{"block":false,"categoryid":395,"description":"The advanced, extensible, customizable, self-documenting editor","ebuildids":[842260],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"emacs","packageid":45775,"summary":"GNU Emacs is an extensible, customizable text editor - and more. At its core is an interpreter for Emacs Lisp, a dialect of the Lisp programming language with extensions to support text editing. The features of GNU Emacs include: * Content-sensitive editing modes, including syntax coloring, for a variety of file types including plain text, source code, and HTML. * Complete built-in documentation, including a tutorial for new users. * Full Unicode support for nearly all human languages and their scripts. * Highly customizable, using Emacs Lisp code or a graphical interface. * A large number of extensions that add other functionality, including a project planner, mail and news reader, debugger interface, calendar, and more. Many of these extensions are distributed with GNU Emacs; others are available separately."},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[842260],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"repos":[{"branch":"master","lastcommit":"f87ce2b74421571078063820dc1065e7089c9fa7","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/sourceforge.net\/projects\/ats2-lang\/","https:\/\/www.cs.bu.edu\/~hwxi\/atslangweb\/"],"uses":[{"description":"Add support for GNU Emacs","isdefault":false,"use":"emacs"}]}