[gringo] 02/11: debian/TODO.Debian: list todo items

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository gringo.

commit c3d286295449895ce2844421973d4ddc6ba113b3
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Wed Nov 1 11:49:56 2017 +0000

    debian/TODO.Debian: list todo items
---
 debian/TODO.Debian | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/debian/TODO.Debian b/debian/TODO.Debian
new file mode 100644
index 0000000..01a6f41
--- /dev/null
+++ b/debian/TODO.Debian
@@ -0,0 +1,11 @@
+* gringo TODO list
+
+** upstream renamed gringo to clingo
+
+** add DEP-8 testsuite
+
+** add clingo C api header files and library archive
+
+** add pyclingo python module
+
+** add luaclingo lua module

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git