{"bugs":[{"bugid":836062,"firstseen":"2022-03-26T04:01:13.448062","severity":"normal","status":"CONFIRMED","summary":"dev-tex\/hevea: uses variables banned in scope (VariableScope)"},{"bugid":925882,"firstseen":"2024-02-29T22:03:53.146262","severity":"normal","status":"CONFIRMED","summary":"dev-tex\/hevea-2.36 installs files that contain a TEXTREL"},{"bugid":928077,"firstseen":"2024-03-29T06:04:02.310456","severity":"normal","status":"UNCONFIRMED","summary":"dev-tex\/hevea-2.35-r1 [Prefix] searches for hevea files on the host"}],"categories":[{"categoryid":463,"name":"app-office","summary":"The app-office category contains 'office' (word processing, spreadsheets, presentation) software packages."},{"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":377,"name":"dev-tex","summary":"The dev-tex category contains libraries and tools useful when working with TeX and TeX-based environments such as LaTeX."},{"categoryid":1492,"name":"dev-texlive","summary":"The dev-texlive category contains various TeXLive's packages."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"55497e1677701f878d72df031bc0741a7bf7ade6","committime":"2024-10-31T14:03:20","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"13617dd6c42c9cc2f1acb7c89047d0c05ee84db6","committime":"2024-10-31T13:48:49","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.36 arm, #941935"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ae4b4de60f9053ff154c5e5d9308f16141ed7243","committime":"2024-10-24T08:18:36","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"a67b3f811d5e41c82a5125f64f172be1149640b2","committime":"2024-10-24T08:07:52","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.36 arm64, #941935"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2d8c375e63f40c568f1fe15313fcf01bbeb3568f","committime":"2024-10-22T01:48:18","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"de9ed75ca050612385850b68a5c9bd9115b1687f","committime":"2024-10-22T01:34:09","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.36 amd64, #941935"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"856d1124e22296a63b297185011ee8fba6444fc2","committime":"2024-10-22T01:34:08","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.36 x86, #941935"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"520af6af5b1b43c9d24536cd6664622febcbbc34","committime":"2024-10-21T18:49:00","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"7ad2bd91821fd0ddca97a225493e89d445dbc90a","committime":"2024-10-21T18:41:42","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.36 ppc64, #941935"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"549c4a4b3653cd6fa0654ec9c22b4841de1233f4","committime":"2024-03-19T14:19:04","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"flow@gentoo.org","authorname":"Florian Schmaus","body":"Signed-off-by: Florian Schmaus ","commitid":"490a17af5db5ccb57a6055ba941cf48a5a758be7","committime":"2024-03-19T14:07:34","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: call etexmf-update instead of custom logic"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e2410dbd268a169e75dc046568f263acb3bf4858","committime":"2024-03-18T13:48:52","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"flo@geekplace.eu","authorname":"Florian Schmaus","body":"Closes: https:\/\/bugs.gentoo.org\/927003\nSigned-off-by: Florian Schmaus ","commitid":"d133270058d45f273f30170e13049576a20a7bc2","committime":"2024-03-18T13:25:59","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: add 2.36"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f39b36bda30e9a806f6c990ca3621fd693f54c28","committime":"2022-03-03T21:36:55","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James \nSigned-off-by: David Seifert ","commitid":"4e5a53c164708cccaacbbbd5abea93152f196af6","committime":"2022-03-03T21:19:30","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: destabilise for ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b6d9cc12ae904f5d51cc72b5945b431f3d0296b3","committime":"2021-07-16T05:51:53","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/789378\nThanks-to: Steven Trogdon \nSigned-off-by: Sam James ","commitid":"4c2e497818ff9f95505156d1daf124e46a9c0992","committime":"2021-07-16T05:32:57","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: fix prefix installation"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1e340a8266244e7fc52f717265aec248ddafcb57","committime":"2021-05-13T16:23:18","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ulm@gentoo.org","authorname":"Ulrich Müller","body":"QPL and QPL-1.0 are duplicates.\n\nBug: https:\/\/bugs.gentoo.org\/789666\nPackage-Manager: Portage-3.0.18, Repoman-3.0.3\nSigned-off-by: Ulrich Müller ","commitid":"5256ea3d793de2d0443c1e641ac4e45da2340d8b","committime":"2021-05-12T10:57:22","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Update LICENSE"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b79e58a17a842959eb4f7741abdea848555c87a8","committime":"2021-03-14T01:06:09","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"73538eb2cd85e117b9032e39aaa5f57c42e6a336","committime":"2021-03-14T00:44:35","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.35 arm64, #772833"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"f73cf390d099f5afe01f1106ecf2998d350d0635","committime":"2021-03-14T00:31:22","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.35 arm, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e1b8e8500d244d2df1c27825e1f62f7546d0f623","committime":"2021-03-13T15:36:16","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"5a4fdc120b6d1d57531cc8d32bf1b10f67f0ebcf","committime":"2021-03-12T17:44:41","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: drop 2.31"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"58b1ef61839fddb665723c5ce5b11b5325adb8f6","committime":"2021-02-21T01:07:13","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"f8bb97a0e5f45665b6edad504331ea8af9a74add","committime":"2021-02-21T00:46:02","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.35 amd64, #770724"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"905ccbdfa16543795e93acc4e96c05aececbec89","committime":"2021-02-19T02:52:27","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"c18c7d6c590197bd26569f7b012c5ec35fad3dd5","committime":"2021-02-19T02:38:30","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.35 x86, #770724"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c7ffaf1225ab4cc145cc0ce8b13373563f71bef2","committime":"2021-02-18T08:37:36","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"69ebd57c6076fb7136a97680650357ccc576ee46","committime":"2021-02-18T08:27:59","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.35 ppc, #770724"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9f3a43b09f2a6c10c7c89a28d74582b801e4acad","committime":"2021-02-17T04:07:38","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"58f13e28995dd0101f8a7d94412fb63e0180aed7","committime":"2021-02-17T03:56:40","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.35 ppc64, #770724"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d8fef62db851a87ecbe505be32c86e962ca72ec4","committime":"2021-02-10T16:52:38","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"120736b35a60d397b0fe3b8c4a1f05ee944655f3","committime":"2021-02-10T16:32:46","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.31 ppc64, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5c980b556212af46472812292a8d74eae83578c3","committime":"2021-01-16T22:02:47","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/750962\nCloses: https:\/\/bugs.gentoo.org\/750761\nCloses: https:\/\/bugs.gentoo.org\/734350\nPackage-Manager: Portage-3.0.12, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"3b341e67632441348e9f4eb2d5b82f97282e0799","committime":"2021-01-16T21:08:46","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: bump to 2.35"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"da4f13b16f22ff37131932b1a2da7e7afbccfb66","committime":"2020-12-20T19:35:07","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.9, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"590a99e334a314ec6ac09d1619bfcd004017467d","committime":"2020-12-20T19:25:34","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: cleanup old"},{"authoremail":"whissi@gentoo.org","authorname":"Thomas Deutschmann","body":"Package-Manager: Portage-3.0.12, Repoman-3.0.2\nSigned-off-by: Thomas Deutschmann ","commitid":"65fbdf99554f0237082064f7aad0456cd1922606","committime":"2020-12-20T18:53:47","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: x86 stable (bug #760357)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"72f0b58b14326ae4f289c5bb47529e3cdb47c113","committime":"2020-12-17T17:05:07","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.9, Repoman-3.0.2\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"cd3e52d451446a9dfbe9645e1dc0cbe30d143855","committime":"2020-12-17T16:38:52","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: amd64 stable wrt bug #760357"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bc09aac22e23db4271f3229b2c4b39ef7768d5c2","committime":"2020-12-17T08:05:54","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a65f39e680ae0f001fd2f43c3a60bb2fa2972ed5","committime":"2020-12-17T07:51:30","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: Stabilize 2.31 ppc, #760357"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4610aa3181c1820adc795103484852db6f4df144","committime":"2020-10-03T14:05:18","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Signed-off-by: Sergei Trofimovich ","commitid":"4f72fdf0d6d07e9e6bcf59fb0ff93b7077327ff2","committime":"2020-10-03T13:45:52","packageid":51310,"repoid":1,"summary":"*\/*: depeywork dev-lang\/ocaml and revdeps on sparc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"824dac76531dbf1a15c3b6ae4edadba511fe07b1","committime":"2019-12-11T12:45:54","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"* Since all ebuilds in the tree are EAPI>=4,\n `|| die` on builtin commands is redundant\n and dead code.\n\nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/13940\nReviewed-by: Ulrich Müller \nReviewed-by: Michał Górny \nReviewed-by: Andreas K. Hüttel \nSigned-off-by: David Seifert ","commitid":"398a42634f34afa1979d88ae1d8b38194e911c2d","committime":"2019-12-11T12:32:00","packageid":51310,"repoid":1,"summary":"*\/*: [QA] Remove redundant `|| die` guards"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"7822202dc1e200f048ceeddac06678014770d69c","committime":"2017-10-18T10:23:41","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.11, Repoman-2.3.3","commitid":"a236e647782bed2c575a28da4b9443b4296742b9","committime":"2017-10-18T10:05:52","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: bump to 2.31"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"8cdd0457491f12143d01ce7ffee59afa44d5ee9c","committime":"2017-07-29T10:24:29","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.3","commitid":"0286a6e136388ba55f3607e309ff4532e0da94b7","committime":"2017-07-28T08:41:38","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: bump to 2.30"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"0c0970a9aa7086a410112f0031330d9568728b3f","committime":"2017-06-26T19:13:55","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.2","commitid":"6621e664ba7b169732e9eb4d132ccb7423fd0643","committime":"2017-06-26T17:58:18","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: keyword ~arm64"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d306af8eb3437f21050905ad73fbf5d544f04d6b","committime":"2017-04-05T18:01:57","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"maekke@gentoo.org","authorname":"Markus Meier","body":"Package-Manager: Portage-2.3.5, Repoman-2.3.2\nRepoMan-Options: --include-arches=\"arm\"","commitid":"b4d1104ef753d98deaf19c2706ab735dbf098009","committime":"2017-04-05T17:35:12","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: add ~arm, bug #611014"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":51310,"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":51310,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"8857a878ecf9cf8589fd24f434f30ff8602f1ea0","committime":"2017-02-24T14:42:15","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d81e01b316e7673d652731b9832e83ed637902b5","committime":"2017-02-24T14:22:08","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.3, Repoman-2.3.1","commitid":"04884f5491d5fb6f6783065f3b9fe4e4ed3be9a2","committime":"2017-02-24T14:17:45","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: remove old"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.3\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"911d5cdd17960a081835c26fa51392c160d1cb29","committime":"2017-02-24T14:03:39","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: ppc stable wrt bug #607204"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d9e462c921858fabf1a426e9b21f82b91c5e9685","committime":"2017-02-17T11:05:15","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.3\nRepoMan-Options: --include-arches=\"sparc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"a56168623318b7858289a237c164e5dbed8b5826","committime":"2017-02-17T10:55:26","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: sparc stable wrt bug #607204"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"b78f579250c1d76074c65b97ea0647e660078dfd","committime":"2017-02-16T17:42:27","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.3\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"1e97358b9f6bd5e2b8e9c95523f611dbffe46628","committime":"2017-02-16T17:17:45","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: x86 stable wrt bug #607204"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"6aff6956bfe6dac3ae7613c8419a821a561b00ca","committime":"2017-02-16T13:42:20","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.3\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"322826761cbec062afc49f9ab7da6d3f5416dcd8","committime":"2017-02-16T13:25:16","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: amd64 stable wrt bug #607204"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"76cb4cc3934e9a0941ade36d9fa523db3fff1515","committime":"2016-08-03T10:42:09","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"16d3ac6bdc33fad7480fc6f9f28a1a1ff24607dd","committime":"2016-08-03T10:25:47","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: bump to 2.29"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ff9f9db8e80fa09afc6ab6b31b2ee2c34f308fd1","committime":"2016-07-22T09:22:05","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"4d16c101e71a064c837a659c8da6ee299a0636a5","committime":"2016-07-22T09:14:44","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: add missing dep on ocamlbuild; bug #589202"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"0e7c02c1c0e2104baefcf5202533d751a4e555e3","committime":"2016-07-22T09:13:54","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: remove old"},{"authoremail":"aidecoe@gentoo.org","authorname":"Amadeusz Żołnowski","commitid":"154b3309c338b15ba185b6f825ab5189d1c927b0","committime":"2016-01-08T22:15:05","packageid":51310,"repoid":1,"summary":"Merge branch 'master' of git+ssh:\/\/git.gentoo.org\/repo\/gentoo"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a6c85f93698eb72e6d0970c77629b07fab393683","committime":"2016-01-07T08:01:56","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"monsieurp@gentoo.org","authorname":"Patrice Clement","commitid":"a94ed6ff1489c8319f10e9b0d9a5a7d9051344e1","committime":"2016-01-07T07:52:22","packageid":51310,"repoid":1,"summary":"Merge remote-tracking branch 'github\/pr\/619'."},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.26\nSigned-off-by: Alexis Ballier ","commitid":"5c88ed2bd0d8c4852b2a1f719c1574858de83d11","committime":"2016-01-07T07:47:46","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: bump to 2.28"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"68b52c48856adad0cdcd7285a74392ffc83d00df","committime":"2015-12-11T11:41:47","packageid":51310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.26\nSigned-off-by: Alexis Ballier ","commitid":"9923403672135fb533d0634e3d1debe180b4308f","committime":"2015-12-11T11:27:54","packageid":51310,"repoid":1,"summary":"dev-tex\/hevea: bump to 2.26"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":51310,"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":51310,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"4470e7c6b8632eca7d3144b8bc067b1bf8d303e2","committime":"2015-08-03T09:32:18","packageid":51310,"repoid":1,"summary":"2015-08-03 09:32:04 UTC"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":51310,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[711991,818979],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590}],"depending":[{"block":false,"categoryid":463,"description":"WYSIWYM (What You See Is What You Mean) document processor based on LaTeX","ebuildids":[832109,832109,839998,839998],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ps@twin.jikos.cz","maintainername":"Pavel Sanda","name":"lyx","packageid":43570},{"block":false,"categoryid":377,"description":"A bibtex to HTML converter","ebuildids":[664071],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"tex@gentoo.org","maintainername":"Gentoo TeX Project","name":"bibtex2html","packageid":52279},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[742645,742645],"firstseen":"2017-10-19T20:17:41.724443","name":"why3-for-spark","packageid":68094,"summary":"Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs."}],"ebuilds":[{"archs":["amd64","arm","arm64","ppc64","x86","~ppc"],"ebuildid":818979,"firstseen":"2024-03-18T13:50:31.634165","license":"QPL-1.0","moddate":"2024-10-31T14:08:33","packageid":51310,"repoid":1,"slot":"0","uses":["ocamlopt"],"version":"2.36"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc"],"ebuildid":711991,"firstseen":"2021-05-13T17:33:34.187198","license":"QPL-1.0","moddate":"2022-03-03T21:50:33","packageid":51310,"repoid":1,"slot":"0","uses":["ocamlopt"],"version":"2.35-r1"}],"masks":[],"package":{"categoryid":377,"description":"HeVeA is a quite complete and fast LaTeX to HTML translator","firstseen":"2010-05-04T00:54:45.661860","maintainer":"tex@gentoo.org","maintainername":"Gentoo TeX Project","name":"hevea","packageid":51310},"rdependencies":[{"block":false,"categoryid":391,"description":"Interpreter for the PostScript language and PDF","ebuildids":[818979],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"printing@gentoo.org","maintainername":"Gentoo Printing Project","name":"ghostscript-gpl","packageid":43199},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[711991,818979],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":1492,"description":"TeXLive LaTeX additional packages","ebuildids":[711991,818979],"firstseen":"2020-01-20T11:12:40.793806","name":"texlive-latexextra","packageid":70714}],"repos":[{"branch":"master","lastcommit":"0fa6259446b1ba8ef3d09c5d086407ef09f0d8a1","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/hevea.inria.fr\/"],"uses":[{"defaultflag":true,"description":"Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable\/enable it at a global scale)","isdefault":true,"use":"ocamlopt"}]}