{"bugs":[{"bugid":715476,"firstseen":"2020-03-30T17:59:21.447458","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/teyjus-2.1-r2 : ..\/...\/standardlib.h: fatal error: bits\/wordsize.h: No such file or directory"},{"bugid":925185,"firstseen":"2024-02-21T16:52:43.659983","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/teyjus-2.1-r2 installs files that contain a TEXTREL"},{"bugid":944895,"firstseen":"2024-11-25T09:03:29.001628","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/teyjus-2.1-r2 fails to compile: abstmachine.c:197:11: error: conflicting types for AM_envCI; have Mem (Mem ) {aka long unsigned int (long unsigned int )}"},{"bugid":952900,"firstseen":"2025-03-29T09:02:44.082724","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/teyjus-2.1-r2 - [cmake-4] Error: Unbound value String.lowercase"}],"categories":[{"categoryid":395,"name":"app-editors","summary":"The app-editors category contains text editors."},{"categoryid":391,"name":"app-text","summary":"The app-text category contains tools for working with human-language text files."},{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":428,"name":"dev-util","summary":"The dev-util category contains various miscellaneous development utilities."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5b8245cb94b371ee61b439c2a5a7eb8a93cbaffd","committime":"2024-03-16T12:18:48","packageid":60116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mmk@levelnine.at","authorname":"Michael Mair-Keimberger","body":"Signed-off-by: Michael Mair-Keimberger \nSigned-off-by: Conrad Kostecki ","commitid":"85150cb616e1f0e230853dd93e479440fa860795","committime":"2024-03-09T16:04:05","packageid":60116,"repoid":1,"summary":"dev-lang\/teyjus: use https, reorder variables"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"995f33236e75bc5795977c040a7bde9f9dd132eb","committime":"2023-07-03T18:01:55","packageid":60116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ulm@gentoo.org","authorname":"Ulrich Müller","body":"Also drop the the sed command which was a no-op. The site-init file\ndidn't contain any path in \/usr\/bin that could be replaced.\n\nSigned-off-by: Ulrich Müller ","commitid":"9034a7eb7587b21530a117ffa1a53da28a8560c9","committime":"2023-06-29T17:49:31","packageid":60116,"repoid":1,"summary":"dev-lang\/teyjus: Drop trivial Emacs site-init file"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8bab0a777c44bb3376a7affacf334897bdf65cb1","committime":"2022-07-18T09:46:25","packageid":60116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Use the environment variable RANLIB to configure the build environment.\nThanks to Agostino Sarubbo for reporting.\n\nCloses: https:\/\/bugs.gentoo.org\/858698\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Mark Wright ","commitid":"45a05ec34477c34d5f3f83fce5a356a5638b647b","committime":"2022-07-18T09:43:58","packageid":60116,"repoid":1,"summary":"dev-lang\/teyjus: Use RANLIB to configure the build environment"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Mark Wright ","commitid":"a249516c889500ee1a930e02744f051b500f2bdd","committime":"2022-07-18T09:39:09","packageid":60116,"repoid":1,"summary":"dev-lang\/tejyjs: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9ce87f2c42bf847ccb93ccf8480c589d9ae3e599","committime":"2022-07-18T04:33:33","packageid":60116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Use the environment variables CC, LD, AR, AS, CPP to configure the\nbuild environment. Specify the ocaml -cc option to instruct ocamlopt.opt\nto call the specified C compiler. Builds with gcc or clang. Remove the\nsuperflous sys-devel\/binutils and sys-devel\/gcc dependencies. Thanks to\nAgostino Sarubbo for reporting.\n\nCloses: https:\/\/bugs.gentoo.org\/858572\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Mark Wright ","commitid":"db37f5e3fdac78d13dd51738a1b27ad269a41e6d","committime":"2022-07-18T04:21:22","packageid":60116,"repoid":1,"summary":"dev-lang\/teyjus: Use CC,LD,AR,AS,CPP."},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7ece43212b5feafffaa3db988e9a0d3c75e4519b","committime":"2022-07-17T11:18:28","packageid":60116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Fix 749996, unbundle old ocaml include files, and include the ocaml\nsystem include files.\n\nFix 749996, remove the ocamlopt USE flag, and require\ndev-lang\/ocaml[ocamlopt].\n\nFix 726890, edit source\/OMakefile to set CFLAGS and LDFLAGS.\n\nThanks to Toralf Forster and Agostino Sarubbo for reporting.\n\nSee also: https:\/\/github.com\/teyjus\/teyjus\/pull\/126\nCloses: https:\/\/bugs.gentoo.org\/749996\nCloses: https:\/\/bugs.gentoo.org\/811210\nCloses: https:\/\/bugs.gentoo.org\/726890\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Mark Wright ","commitid":"6c807fa38179efb2bfe09acf1a332c7bdf7fe0c0","committime":"2022-07-17T11:09:10","packageid":60116,"repoid":1,"summary":"dev-lang\/teyjus: Unbundle ocaml inc files, require ocaml[ocamlopt]"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"154f663691ff0406bfb4ac87a978b07b0a611b07","committime":"2022-06-16T16:47:55","packageid":60116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"t@laumann.xyz","authorname":"Thomas Bracht Laumann Jespersen","body":"Signed-off-by: Thomas Bracht Laumann Jespersen \nSigned-off-by: Sam James ","commitid":"02f137147d15a98efbf637b2045619820b4cb49d","committime":"2022-06-08T08:03:28","packageid":60116,"repoid":1,"summary":"dev-lang\/teyjus: fix unquoted variable EPREFIX"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"826925eec6911480b66f29892ae963b2ec8cb660","committime":"2022-03-10T21:21:33","packageid":60116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"7b8b247e2958081895026487dada8c9b19cdc572","committime":"2022-03-10T04:56:57","packageid":60116,"repoid":1,"summary":"dev-lang\/teyjus: [QA] fix UnusedInherits (multilib)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c68d23c2e114ea3bceffffbb128b5eecb2a930b7","committime":"2019-12-20T23:05:33","packageid":60116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ulm@gentoo.org","authorname":"Ulrich Müller","body":"The virtual is deprecated, depend on app-editors\/emacs instead.\n\nPackage-Manager: Portage-2.3.82, Repoman-2.3.20\nSigned-off-by: Ulrich Müller ","commitid":"68434d114614f8719f2f8e70d13486cc6bfc4511","committime":"2019-12-20T16:00:45","packageid":60116,"repoid":1,"summary":"dev-lang\/teyjus: Update virtual\/emacs dependency."},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"03d7c2ba9fe8dc92e0258ea8d3fc173c22f2804f","committime":"2019-08-22T10:46:04","packageid":60116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Closes: https:\/\/bugs.gentoo.org\/677904\nPackage-Manager: Portage-2.3.71, Repoman-2.3.17\nSigned-off-by: Mark Wright ","commitid":"bc6150aed4394093a938536ef2e8ee9c80395749","committime":"2019-08-22T10:26:38","packageid":60116,"repoid":1,"summary":"dev-lang\/teyjus: Fix #677904 sandbox issue"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":60116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"Signed-off-by: Robin H. Johnson ","commitid":"61b861acd7b49083dab687e133f30f3331cb7480","committime":"2017-02-28T19:47:27","packageid":60116,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"malfatti@neuro.ufrn.br","authorname":"T. Malfatti","commitid":"8457ba6f9fd6f0dbafcca1fb375788eeea02aae1","committime":"2017-01-26T18:44:34","packageid":60116,"repoid":1,"summary":"media-libs\/portaudio: Version bump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"2b78497872ba58ffb279558b13f23cd7b4a04e38","committime":"2017-01-11T12:42:06","packageid":60116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Thanks to Toralf Forster for reporting.\n\nGentoo-bug: 591368\n\nPackage-Manager: portage-2.3.3","commitid":"301cf07863551d5e8b1ddaa51b4ac73081f040c6","committime":"2017-01-11T12:28:57","packageid":60116,"repoid":1,"summary":"dev-lang\/teyjus: Bump to 2.1. Fix build with ocaml 4.03 and above."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"807d7c8ef7ce9a17a831c4b042b497afa97d470d","committime":"2015-08-24T14:06:35","packageid":60116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jlec@gentoo.org","authorname":"Justin Lecher","body":"Signed-off-by: Justin Lecher ","commitid":"dea7c3060641b628cd6a2e2d97db18903c86862e","committime":"2015-08-24T13:41:27","packageid":60116,"repoid":1,"summary":"Convert URIs for googlecode.com to https"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":60116,"repoid":1,"summary":"2015-08-09 09:26:21 UTC"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"This commit represents a new era for Gentoo:\nStoring the gentoo-x86 tree in Git, as converted from CVS.\n\nThis commit is the start of the NEW history.\nAny historical data is intended to be grafted onto this point.\n\nCreation process:\n1. Take final CVS checkout snapshot\n2. Remove ALL ChangeLog* files\n3. Transform all Manifests to thin\n4. Remove empty Manifests\n5. Convert all stale $Header$\/$Id$ CVS keywords to non-expanded Git $Id$\n5.1. Do not touch files with -kb\/-ko keyword flags.\n\nSigned-off-by: Robin H. Johnson \nX-Thanks: Alec Warner - did the GSoC 2006 migration tests\nX-Thanks: Robin H. Johnson - infra guy, herding this project\nX-Thanks: Nguyen Thai Ngoc Duy - Former Gentoo developer, wrote Git features for the migration\nX-Thanks: Brian Harring - wrote much python to improve cvs2svn\nX-Thanks: Rich Freeman - validation scripts\nX-Thanks: Patrick Lauer - Gentoo dev, running new 2014 work in migration\nX-Thanks: Michał Górny - scripts, QA, nagging\nX-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed","commitid":"56bd759df1d0c750a065b8c845e93d5dfa6b549d","committime":"2015-08-08T20:49:04","packageid":60116,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":60116,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[{"block":false,"categoryid":395,"description":"The extensible, customizable, self-documenting real-time display editor","ebuildids":[756524],"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":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[756524],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":428,"description":"Make replacement","ebuildids":[756524],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"omake","packageid":49747},{"block":false,"categoryid":391,"description":"Convert DOS or MAC text files to UNIX format or vice versa","ebuildids":[756524],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"shell-tools@gentoo.org","maintainername":"Gentoo Shell Tools Project","name":"dos2unix","packageid":54104}],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":756524,"firstseen":"2022-07-17T12:35:19.279605","license":"GPL-3","moddate":"2025-04-23T15:23:41","packageid":60116,"repoid":1,"slot":"0\/2.1","uses":["emacs","examples"],"version":"2.1-r2"}],"masks":[],"package":{"categoryid":450,"description":"Higher-order logic programming language Lambda Prolog","firstseen":"2012-12-10T14:36:29.392811","maintainer":"gienah@gentoo.org","maintainername":"Mark Wright","name":"teyjus","packageid":60116,"summary":"The Teyjus system is an efficient implementation of the higher-order logic programming language Lambda Prolog. The main strength of Lambda Prolog, a language developed by Dale Miller and Gopalan Nadathur, is the support it offers for what is known as lambda tree syntax, a new and effective way to view the structure of complex syntactic objects such as types, formulas, proofs and programs. Lambda Prolog provides this support by using lambda terms as data representation devices and by including primitives for probing such terms in logically meaningful ways. The new features present in the language raise several implementation challenges that have been addressed in collaborative work between Nadathur and his students and colleagues. The name \"Teyjus\" actually stands both for a project and for a class of compiler and virtual machine based realizations of Lambda Prolog arising from the research carried out within this project. Underlying the most recent version of the Teyjus system is a new and significantly improved virtual machine that has been designed by Xiaochu Qi as part of her doctoral dissertation work at the University of Minnesota. This virtual machine extensively exploits a special form of higher-order unification known as pattern unification."},"rdependencies":[{"block":false,"categoryid":395,"description":"The extensible, customizable, self-documenting real-time display editor","ebuildids":[756524],"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":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[756524],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590}],"repos":[{"branch":"master","lastcommit":"83b1268c5aac6ae9b0760d1fb99a3cf736f62f25","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/teyjus.cs.umn.edu\/"],"uses":[{"description":"Add support for GNU Emacs","isdefault":false,"use":"emacs"},{"description":"Install examples, usually source code","isdefault":false,"use":"examples"}]}