Diffusion FreeBSD ports repository rP519062

New port: math/teyjus: Higher-order logic programming language Lambda Prolog
rP519062
Actions

Description

New port: math/teyjus: Higher-order logic programming language Lambda Prolog

Details

Provenance

yuri	Authored on

Parents

rP519061: Update to the 20191123 snapshot of GCC 9.2.1.

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed rP519062: New port: math/teyjus: Higher-order logic programming language Lambda Prolog.Dec 5 2019, 4:12 AM

Changes (9)

Path

Size

head/

math/

patch-source_OMakefile

patch-source_compiler_OMakefile

patch-source_include_standardlib.h

pkg-descr

rP519062

View Options

head/math/Makefile

View Options

head/math/teyjus/

View Options

head/math/teyjus/Makefile

View Options

head/math/teyjus/distinfo

View Options

head/math/teyjus/files/

View Options

head/math/teyjus/files/patch-source_OMakefile

View Options

head/math/teyjus/files/patch-source_compiler_OMakefile

View Options

head/math/teyjus/files/patch-source_include_standardlib.h

View Options

head/math/teyjus/pkg-descr

New port: math/teyjus: Higher-order logic programming language Lambda PrologrP519062Actions

Description

Details

Event Timeline

Changes (9)

rP519062

head/math/Makefile

head/math/teyjus/

head/math/teyjus/Makefile

head/math/teyjus/distinfo

head/math/teyjus/files/

head/math/teyjus/files/patch-source_OMakefile

head/math/teyjus/files/patch-source_compiler_OMakefile

head/math/teyjus/files/patch-source_include_standardlib.h

head/math/teyjus/pkg-descr

New port: math/teyjus: Higher-order logic programming language Lambda Prolog
rP519062
Actions