gpo.zugaina.org

Search Portage & Overlays:

dev-lang/ott

Ott is a tool for writing definitions of programming languages and calculi.

Screenshots

ChangeLog

commit c1d1ab135e7d4c3de68869388ff96abf77f868e5
Author: hololeap <hololeap@protonmail.com>
Date: Tue Mar 5 19:25:37 2024 -0700

*/*: Switch to EAPI 8

Signed-off-by: hololeap <hololeap@protonmail.com>

commit 9672ee12c9c489f9e5bfdee329a4e6aed692fe4d
Author: Sam James <sam@gentoo.org>
Date: Sat Jul 30 06:55:18 2022 +0100

*/*: fix https->https in metadatd dtd

Newer hackport fixes this (in git, not tagged yet).

Signed-off-by: Sam James <sam@gentoo.org>

commit a4b48862eadbba0c92458a1d5cbe98a49b895a98
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Sep 28 09:09:27 2020 +0100

dev-lang/ott: drop old

Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 52308486e51a6c550d459adf3878847cc122029c
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jun 25 22:38:11 2020 +0100

dev-lang/ott: refresh manifest, upstream tarball changed slightly

Noticed by d34df00d.

Package-Manager: Portage-2.3.103, Repoman-2.3.23
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 963d82079db406c4b8fded5f4cfa2906a31be4df
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Jun 16 17:58:06 2020 +0100

dev-lang/ott: bump up to 0.31

Package-Manager: Portage-2.3.101, Repoman-2.3.22
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 9f551943f3dbd00044f2b2e83b9ac71fc8e27ff2
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Mar 7 12:45:11 2020 +0000

dev-lang/ott: drop old

Package-Manager: Portage-2.3.92, Repoman-2.3.20
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 28556e8d9a583f97d4c4c69ba5ba93356f722712
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Mar 7 12:44:41 2020 +0000

dev-lang/ott: bump up to 0.30

Package-Manager: Portage-2.3.92, Repoman-2.3.20
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 2a94f64d40e69b69ddfa1b5da7906d17009e5e6f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Nov 24 09:25:20 2017 +0000

refresh Manifests

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 1a6ba469382ab24f8b77b4ff3b043b6e2ed68306
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 28 21:38:05 2017 +0000

follow ::gentoo in removing '# $Id$' headers

Done as
$ sed -i */*/*.ebuild -e '/^# \$Id\$$/d'

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit b9c11d9d44644f6a277de1f7af562de56e786675
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Aug 9 10:37:52 2015 +0100

convert '# $Header: ' lines to '# $Id$'

The change was adopted when ::gentoo switched to git.

https://github.com/trofi/gentoo-qa/blob/master/check_header.sh

Signed-off-by: Sergei Trofimovich <siarheit@google.com>

commit b2951adc329dddf4c02fd8acbb9092a8cb1a04d6
Author: Alexander Vershilov <qnikst@gentoo.org>
Date: Wed Jan 28 23:00:57 2015 +0300

dev-lang/ott: initial layout