projects / gringo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Import gringo_5.1.0-4.debian.tar.xz
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Tue, 20 Dec 2016 04:10:36 +0000 (04:10 +0000)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Tue, 20 Dec 2016 04:10:36 +0000 (04:10 +0000)
commitd0690f1036b5eacfd153f9a9bb170b68e4ee12fc
tree5a6cd787e2ce28af5ea45b0b65814f37ded76d8etree | snapshot
Import gringo_5.1.0-4.debian.tar.xz

[dgit import tarball gringo 5.1.0-4 gringo_5.1.0-4.debian.tar.xz]
18 files changed:
NEWS.Debian [new file with mode: 0644] blob
changelog [new file with mode: 0644] blob
compat [new file with mode: 0644] blob
control [new file with mode: 0644] blob
copyright [new file with mode: 0644] blob
docs [new file with mode: 0644] blob
gringo.links [new file with mode: 0644] blob
gringo.manpages [new file with mode: 0644] blob
install [new file with mode: 0644] blob
patches/gringo-alpha-fpu-getcw.patch [new file with mode: 0644] blob
patches/gringo-broken-std-exception_ptr.patch [new file with mode: 0644] blob
patches/gringo-fix-body-literals-as-auxiliary.patch [new file with mode: 0644] blob
patches/gringo-manpages.patch [new file with mode: 0644] blob
patches/reproducible-build.patch [new file with mode: 0644] blob
patches/series [new file with mode: 0644] blob
rules [new file with mode: 0755] blob
source/format [new file with mode: 0644] blob
watch [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.