Alejandro R Mosteo
d1755d52f2
* exsytrawo 1.2.0 (#1396) * bbt 0.1.0 (#1397) * prolog 1.0.0 (#1398) * prolog 1.0.0 (via `alr publish`) * Update prolog-1.0.0.toml * Move to alr 2.1 --------- Co-authored-by: Blady-Com <blady.net@orange.fr> Co-authored-by: Lionel Draghi <lionel.draghi@free.fr> Co-authored-by: Jesper Quorning <jesper.quorning@gmail.com>
19 lines
517 B
TOML
19 lines
517 B
TOML
name = "prolog"
|
|
description = "Simple Prolog library"
|
|
version = "1.0.0"
|
|
|
|
authors = ["Professor David C. Luckham <Anna-Request@Anna.Stanford.EDU>",
|
|
"Dale Stanbrough <dale@cs.rmit.edu.au>"]
|
|
|
|
maintainers = ["Jesper Quorning <jesper.quorning@gmail.com>"]
|
|
maintainers-logins = ["jquorning"]
|
|
|
|
licenses = "custom-anna"
|
|
website = "https://github.com/jquorning/Prolog"
|
|
tags = ["prolog", "logic"]
|
|
|
|
[origin]
|
|
commit = "6ac52773fdb45c0100152081780b2e31b5802986"
|
|
url = "git+https://github.com/jquorning/Prolog.git"
|
|
|