{"bugs":[{"bugid":868006,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/twelf-1.7.1-r2:0\/1.7.1 - \/...\/mlton:line : ...\/mlton-compile: No such file or directory"},{"bugid":926435,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/twelf-1.7.1-r2 fails to compile: ! I cant find file texinfo"}],"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":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."},{"categoryid":396,"name":"virtual","summary":"The virtual category contains packages which satisfy virtual dependencies."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b1608c59f0a74bd9839ea3e188aa3b84d0b812ee","committime":"2024-09-10T01:48:52","packageid":60110,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"Per the contributing guideline:\n\n> Twelf, the software, is not under active development, and changes to\n> the code of Twelf are unlikely to be accepted unless you’re working with\n> Twelf’s original authors, Frank Pfenning and Carsten Schürmann.\n\nGetting this fixed is unlikely to happen, so all that's left is\nfiltering.\n\nCloses: https:\/\/bugs.gentoo.org\/863266\nSigned-off-by: Eli Schwartz ","commitid":"9709c3e5dd9a4fe6d398f8c1cfbf48b649efd440","committime":"2024-09-09T03:58:21","packageid":60110,"repoid":1,"summary":"sci-mathematics\/twelf: mark as LTO-unsafe"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"Signed-off-by: Eli Schwartz ","commitid":"e25ea15a06d31bdb46c3c5f6911b71d359547ca0","committime":"2024-09-09T03:50:20","packageid":60110,"repoid":1,"summary":"sci-mathematics\/twelf: update HOMEPAGE for https"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"The old download site is gone now. The download page points to github\nnow, which in turn says:\n\n> This is a placeholder release to hold the final source distribution\n> tarball, linux distribution tarball, and osx dmg for Twelf 1.7.1 as\n> originally hosted on twelf.org.\n\nChecksums match. :)\n\nSigned-off-by: Eli Schwartz ","commitid":"aab934cfba1de70740564c36ddf809e4c6e105b2","committime":"2024-09-09T03:48:57","packageid":60110,"repoid":1,"summary":"sci-mathematics\/twelf: update SRC_URI to new mirror"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2c8588b1efbb63c74d3030896b73ecde2f4eac81","committime":"2022-03-27T06:34:26","packageid":60110,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Thanks to Sam James and Toralf Forster for reporting.\n\nFix: calls svnversion command that does not exist, thanks to Agostino Sarubbo\nfor reporting.\n\nCloses: https:\/\/bugs.gentoo.org\/836112\nCloses: https:\/\/bugs.gentoo.org\/803296\nCloses: https:\/\/bugs.gentoo.org\/728028\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Mark Wright ","commitid":"2e4fece2319bee38e08022d4f9db122763d06b46","committime":"2022-03-27T06:22:24","packageid":60110,"repoid":1,"summary":"sci-mathematics\/twelf: Fix ROOT in src_prepare, old-style backquotes"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1dff16feef2bb9d2ccf6e0e5f2a4f87e02f7a94d","committime":"2021-04-18T06:22:06","packageid":60110,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.18-prefix, Repoman-3.0.3\nSigned-off-by: Sam James ","commitid":"f44d52d3a3efc0440143c4b85312f5c0b40181e3","committime":"2021-04-16T18:34:09","packageid":60110,"repoid":1,"summary":"sci-mathematics\/twelf: eutils--"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dcdec439559bd3dbf583382cda731faf9ae1e54e","committime":"2021-01-20T13:33:04","packageid":60110,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jakov.smolic@sartura.hr","authorname":"Jakov Smolic","body":"Signed-off-by: Jakov Smolic \nSigned-off-by: David Seifert ","commitid":"f386b67bd27d2d0c2ca33aa2de84ae5b3e119022","committime":"2021-01-20T10:15:55","packageid":60110,"repoid":1,"summary":"sci-mathematics\/twelf: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c68d23c2e114ea3bceffffbb128b5eecb2a930b7","committime":"2019-12-20T23:05:33","packageid":60110,"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":"7123dfea220bfbc96226df6883217023f2bfaa19","committime":"2019-12-20T16:30:57","packageid":60110,"repoid":1,"summary":"sci-mathematics\/twelf: Update virtual\/emacs dependency."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"b1dd0a48807bae174b7989a1a901f739ac70290b","committime":"2018-03-11T00:06:29","packageid":60110,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Fix 630782. Thanks to Toralf Forster for reporting.\n\nCloses: https:\/\/bugs.gentoo.org\/622848\nCloses: https:\/\/bugs.gentoo.org\/630782\nPackage-Manager: Portage-2.3.24, Repoman-2.3.6","commitid":"b9158c1f69eaa08468fb2a7bb40ca742773e1b20","committime":"2018-03-10T23:58:41","packageid":60110,"repoid":1,"summary":"sci-mathematics\/twelf: Fix 622848 in 1.7.1-r1 by requiring mlton 20180207."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":60110,"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":60110,"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":60110,"repoid":1,"summary":"media-libs\/portaudio: Version bump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"e4ece068dfce4ec8d08c6029584a201fd12ce72b","committime":"2017-01-21T02:04:50","packageid":60110,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"vapier@gentoo.org","authorname":"Mike Frysinger","commitid":"62fa24bb8afe5b4e83a853b62649cb5a7ae100f5","committime":"2017-01-21T01:52:40","packageid":60110,"repoid":1,"summary":"fix quoting to a lot of patch calls"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"5e7dd76b421ff9773288d4f284bb7894692f26d2","committime":"2016-02-12T04:41:52","packageid":60110,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"vikraman@gentoo.org","authorname":"Vikraman Choudhury","body":"app-text\/texi2html is necessary for doc generation.\n\nPackage-Manager: portage-2.2.27","commitid":"a33c7189a6d16afe8237df197f753c84cb9f3bf3","committime":"2016-02-12T04:27:56","packageid":60110,"repoid":1,"summary":"sci-mathematics\/twelf: Fix doc generation"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"51b52d8ff0f85b65a0cd26d93c77ae284d684526","committime":"2016-02-12T04:21:49","packageid":60110,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"vikraman@gentoo.org","authorname":"Vikraman Choudhury","body":"Package-Manager: portage-2.2.27","commitid":"aedff2b4225c052c353186a00494e4d3752c429d","committime":"2016-02-12T04:02:54","packageid":60110,"repoid":1,"summary":"sci-mathematics\/twelf: Fix typo"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":60110,"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":60110,"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":60110,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[{"block":false,"categoryid":391,"description":"Perl script that converts Texinfo to HTML","ebuildids":[744510],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"tex@gentoo.org","maintainername":"Gentoo TeX Project","name":"texi2html","packageid":42235},{"block":false,"categoryid":450,"description":"Standard ML optimizing compiler and libraries","ebuildids":[744510],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"mlton","packageid":44972},{"block":false,"categoryid":395,"description":"The advanced, extensible, customizable, self-documenting editor","ebuildids":[744510],"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":396,"description":"Virtual for basic LaTeX binaries","ebuildids":[744510],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"tex@gentoo.org","maintainername":"Gentoo TeX Project","name":"latex-base","packageid":53059}],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":744510,"firstseen":"2022-03-27T07:47:28.732381","license":"BSD-2","moddate":"2026-03-22T20:20:57","packageid":60110,"repoid":1,"slot":"0\/1.7.1","uses":["doc","emacs","examples"],"version":"1.7.1-r2"}],"masks":[],"package":{"categoryid":317,"description":"Implementation of the logical framework LF","firstseen":"2012-12-10T14:36:29.392811","maintainer":"gienah@gentoo.org","maintainername":"Mark Wright","name":"twelf","packageid":60110,"summary":"Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory."},"rdependencies":[{"block":false,"categoryid":391,"description":"Perl script that converts Texinfo to HTML","ebuildids":[744510],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"tex@gentoo.org","maintainername":"Gentoo TeX Project","name":"texi2html","packageid":42235},{"block":false,"categoryid":450,"description":"Standard ML optimizing compiler and libraries","ebuildids":[744510],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"mlton","packageid":44972},{"block":false,"categoryid":395,"description":"The advanced, extensible, customizable, self-documenting editor","ebuildids":[744510],"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":396,"description":"Virtual for basic LaTeX binaries","ebuildids":[744510],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"tex@gentoo.org","maintainername":"Gentoo TeX Project","name":"latex-base","packageid":53059}],"repos":[{"branch":"master","lastcommit":"f87ce2b74421571078063820dc1065e7089c9fa7","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/twelf.org\/"],"uses":[{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"},{"description":"Add support for GNU Emacs","isdefault":false,"use":"emacs"},{"description":"Install examples, usually source code","isdefault":false,"use":"examples"}]}