Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
twelf
Implementation of the logical framework LF
http://twelf.org/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Commits on Oct 20, 2022
sci-mathematics/twelf: align longdescription opening and closing tags
abdf5d8
Petr Vaněk
authored
and
Sam James
committed on 20 Oct 2022 03:52:47
metadata.xml
Commits on Mar 28, 2022
sci-mathematics/twelf: Thanks to Jouni Kosonen for backquotes fix.
6c2708d
Mark Wright
committed on 28 Mar 2022 13:42:14
files/twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch
sci-mathematics/twelf: emake -j1 is sufficient to fix doc build
f40a769
Mark Wright
committed on 28 Mar 2022 13:42:14
files/twelf-1.7.1-doc-guide-Makefile.patch
Commits on Mar 27, 2022
sci-mathematics/twelf: Fix ROOT in src_prepare, old-style backquotes
2e4fece
Mark Wright
committed on 27 Mar 2022 06:23:08
files/twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch
files/twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch
files/twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch
files/twelf-1.7.1-remove-svnversion.patch
twelf-1.7.1-r2.ebuild
files/twelf-1.7.1-doc-guide-Makefile.patch
twelf-1.7.1-r1.ebuild
Commits on Sep 11, 2021
**/metadata.xml: Replace http by https in DOCTYPE element
38b155f
Ulrich Müller
committed on 11 Sep 2021 13:22:48