gpo.zugaina.org

Search Portage & Overlays:

dev-lang/teyjus

Higher-order logic programming language Lambda Prolog

Screenshots

  • teyjus-2.0.2
    ~amd64 ~x86
    emacs examples +ocamlopt

    View      Download      Browse     License: GPL-3   
    Overlay: funtoo (distro)
  • teyjus-2.0.2
    ~amd64 ~x86
    emacs examples +ocamlopt

    View      Download      Browse     License: GPL-3   
    Overlay: gentoo (distro)

ChangeLog

# ChangeLog for dev-lang/teyjus
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/dev-lang/teyjus/ChangeLog,v 1.3 2013/05/24 05:44:20 gienah Exp $

24 May 2013; Mark Wright <gienah@gentoo.org> metadata.xml:
fix bug 466776 - typo in email address

12 Dec 2012; Mark Wright <gienah@gentoo.org> files/teyjus-2.0.2-flags.patch,
teyjus-2.0.2.ebuild:
Fix sigsegv dereferencing argv = 0 by removing -shared. Also remove -fPIC. sed
OMakefile to use CFLAGS and LDFLAGS. Place in subslot in case any future
ebuild depends on teyjus.

*teyjus-2.0.2 (09 Dec 2012)

09 Dec 2012; Mark Wright <gienah@gentoo.org> +files/50teyjus-gentoo.el,
+files/teyjus-2.0.2-flags.patch, +metadata.xml, +teyjus-2.0.2.ebuild:
Add teyjus, fixes Bug 39631 - teyjus-1.0_beta33