Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-lang
/
teyjus
Higher-order logic programming language Lambda Prolog
https://teyjus.cs.umn.edu/
Overview
Dependencies
QA report
Pull requests
0
Bugs
2
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-03-16
dev-lang/teyjus: use https, reorder variables
85150cb
Michael Mair-Keimberger
authored
and
Conrad Kostecki
committed on 2024-03-16 12:13:15 UTC
dev-lang/teyjus/teyjus-2.1-r2.ebuild
Commits on 2024-02-14
*/*: Reassign gienah's packages
32f1144
Michał Górny
committed on 2024-02-14 09:50:24 UTC
dev-lang/teyjus/metadata.xml
Commits on 2023-07-03
dev-lang/teyjus: Drop trivial Emacs site-init file
9034a7e
Ulrich Müller
committed on 2023-07-03 17:50:49 UTC
dev-lang/teyjus/teyjus-2.1-r2.ebuild
dev-lang/teyjus/files/50teyjus-gentoo.el
Commits on 2022-07-18
dev-lang/teyjus: Use RANLIB to configure the build environment
45a05ec
Mark Wright
committed on 2022-07-18 09:43:58 UTC
dev-lang/teyjus/teyjus-2.1-r2.ebuild
dev-lang/tejyjs: Remove old
a249516
Mark Wright
committed on 2022-07-18 09:39:09 UTC
dev-lang/teyjus/teyjus-2.1-r1.ebuild
dev-lang/teyjus/teyjus-2.1.ebuild
dev-lang/teyjus: Use CC,LD,AR,AS,CPP.
db37f5e
Mark Wright
committed on 2022-07-18 04:21:22 UTC
dev-lang/teyjus/teyjus-2.1-r2.ebuild
Commits on 2022-07-17
dev-lang/teyjus: Unbundle ocaml inc files, require ocaml[ocamlopt]
6c807fa
Mark Wright
committed on 2022-07-17 11:09:10 UTC
dev-lang/teyjus/files/teyjus-2.1-p004-Renaming-ccode_stubs-for-compilation.patch
dev-lang/teyjus/files/teyjus-2.1-p005-Unbundle-ocaml-header-files.patch
dev-lang/teyjus/files/teyjus-2.1-p006-Version.patch
dev-lang/teyjus/teyjus-2.1-r2.ebuild
Commits on 2022-06-16
dev-lang/teyjus: fix unquoted variable EPREFIX
02f1371
Thomas Bracht Laumann Jespersen
authored
and
Sam James
committed on 2022-06-16 16:30:25 UTC
dev-lang/teyjus/teyjus-2.1-r1.ebuild
dev-lang/teyjus/teyjus-2.1.ebuild
Commits on 2022-03-10
dev-lang/teyjus: [QA] fix UnusedInherits (multilib)
7b8b247
Sam James
committed on 2022-03-10 21:09:57 UTC
dev-lang/teyjus/teyjus-2.1-r1.ebuild
Commits on 2021-09-11
**/metadata.xml: Replace http by https in DOCTYPE element
38b155f
Ulrich Müller
committed on 2021-09-11 13:22:48 UTC
dev-lang/teyjus/metadata.xml
Commits on 2021-03-16
*/*: Normalize metadata.xml files
a677ccd
Michał Górny
committed on 2021-03-16 16:42:16 UTC
dev-lang/teyjus/metadata.xml
Commits on 2020-01-29
dev-lang/teyjus/files: remove unused patch
066225a
Michael Mair-Keimberger
authored
and
Joonas Niilola
committed on 2020-01-29 11:13:40 UTC
dev-lang/teyjus/files/teyjus-2.0.2-flags.patch
Commits on 2019-12-20
dev-lang/teyjus: Update virtual/emacs dependency.
68434d1
Ulrich Müller
committed on 2019-12-20 22:48:26 UTC
dev-lang/teyjus/teyjus-2.1-r1.ebuild
dev-lang/teyjus/teyjus-2.1.ebuild
Commits on 2019-08-22
dev-lang/teyjus: Fix #677904 sandbox issue
bc6150a
Mark Wright
committed on 2019-08-22 10:26:38 UTC
dev-lang/teyjus/files/teyjus-2.1-p001-Fixes-arity-for-pervasive-modulo-operation.patch
dev-lang/teyjus/files/teyjus-2.1-p002-Add-string-literals-from-proper-character-groups.patch
dev-lang/teyjus/files/teyjus-2.1-p003-Removing-deprecated-function-String.set.patch
dev-lang/teyjus/teyjus-2.1-r1.ebuild
dev-lang/teyjus/Manifest
dev-lang/teyjus/teyjus-2.0.2.ebuild
Commits on 2017-12-09
dev-lang/*: Update Manifest hashes
5abd430
Michał Górny
committed on 2017-12-09 17:19:32 UTC
dev-lang/teyjus/Manifest
Commits on 2017-04-29
Globally add missing remote ID references to metadata.xml
9271526
Justin Lecher
committed on 2017-04-29 18:49:16 UTC
dev-lang/teyjus/metadata.xml
Commits on 2017-02-28
Drop $Id$ per council decision in bug #611234.
61b861a
Robin H. Johnson
committed on 2017-02-28 19:50:50 UTC
dev-lang/teyjus/teyjus-2.0.2.ebuild
dev-lang/teyjus/teyjus-2.1.ebuild
Commits on 2017-01-11
dev-lang/teyjus: Bump to 2.1. Fix build with ocaml 4.03 and above.
301cf07
Mark Wright
committed on 2017-01-11 12:28:57 UTC
dev-lang/teyjus/teyjus-2.1.ebuild
dev-lang/teyjus/Manifest
dev-lang/teyjus/teyjus-2.0.2.ebuild
Commits on 2016-01-24
Set appropriate maintainer types in metadata.xml (GLEP 67)
8849b09
Michał Górny
committed on 2016-01-24 22:58:38 UTC
dev-lang/teyjus/metadata.xml
Unify quoting in metadata.xml files for machine processing
4412ca2
Michał Górny
committed on 2016-01-24 22:58:38 UTC
dev-lang/teyjus/metadata.xml
Commits on 2015-08-24
Revert DOCTYPE SYSTEM https changes in metadata.xml
1bfb585
Mike Gilbert
committed on 2015-08-24 20:30:34 UTC
dev-lang/teyjus/metadata.xml
Convert URIs for googlecode.com to https
dea7c30
Justin Lecher
committed on 2015-08-24 13:41:51 UTC
dev-lang/teyjus/teyjus-2.0.2.ebuild
Use https by default
eaaface
Justin Lecher
committed on 2015-08-24 10:49:19 UTC
dev-lang/teyjus/metadata.xml
Commits on 2015-08-09
proj/gentoo: Initial commit
56bd759
Robin H. Johnson
committed on 2015-08-09 00:38:18 UTC
dev-lang/teyjus/Manifest
dev-lang/teyjus/files/50teyjus-gentoo.el
dev-lang/teyjus/files/teyjus-2.0.2-flags.patch
dev-lang/teyjus/metadata.xml
dev-lang/teyjus/teyjus-2.0.2.ebuild