Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/mozart
Commit message (Expand)AuthorAgeFilesLines
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* dev-lang/mozart: patch VM to compile with GCC 11Keri Harris2021-08-032-2/+2
* dev-lang/mozart: add github upstream metadataSam James2021-07-261-4/+7
* dev-lang/mozart: include site-lisp file to get Oz major modes.Keri Harris2021-06-272-1/+24
* dev-lang/mozart: Tidyup, use cmake.eclassAndreas Sturmlechner2021-05-091-21/+17
* dev-lang/mozart: remove unused fileMichael Mair-Keimberger2020-09-211-11/+0
* dev-lang/mozart: remove old (broken) versionKeri Harris2020-09-113-263/+0
* dev-lang/mozart: stable on amd64 + x86. Bug 734090Keri Harris2020-07-281-1/+1
* dev-lang/mozart: pin bootcompiler to scala-2.12Keri Harris2020-06-241-9/+2
* dev-lang/mozart: patch bootcompiler to work with Scala 2.12Keri Harris2020-06-232-5/+5
* dev-lang/mozart: remove = slot operator from inside || blockKeri Harris2020-06-221-2/+2
* dev-lang/mozart: version bumpKeri Harris2020-06-222-0/+101
* dev-lang/mozart: fix compile failures with GCC 9. Closes #722954Keri Harris2020-05-272-15/+25
* dev-lang/mozart: Update virtual/emacs dependency.Ulrich Müller2019-12-202-2/+2
* dev-lang/mozart: EAPI7, improve ebuild.Michael Mair-Keimberger2019-04-101-0/+126
* dev-lang/mozart: fix HOMEPAGE and SRC_URI.Michael Mair-Keimberger2019-04-101-4/+4
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-3/+3
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* dev-lang/mozart: Set slot operatorsJustin Lecher2015-11-111-1/+1
* dev-lang/mozart: Drop oldJustin Lecher2015-11-112-135/+4
* dev-lang/mozart: x86 stable wrt bug #548688Agostino Sarubbo2015-11-111-1/+1
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-085-0/+278