sci-mathematics/twelf – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2022-10-20
- sci-mathematics/twelf: align longdescription opening and closing tags
  abdf5d8
  
  Petr Vaněk authored and Sam James committed on 2022-10-20 03:52:47 UTC
  
  metadata.xml
Commits on 2022-03-28
- sci-mathematics/twelf: Thanks to Jouni Kosonen for backquotes fix.
  6c2708d
  
  Mark Wright committed on 2022-03-28 13:42:14 UTC
  
  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 2022-03-28 13:42:14 UTC
  
  files/twelf-1.7.1-doc-guide-Makefile.patch
Commits on 2022-03-27
- sci-mathematics/twelf: Fix ROOT in src_prepare, old-style backquotes
  2e4fece
  
  Mark Wright committed on 2022-03-27 06:23:08 UTC
  
  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 2021-09-11
- **/metadata.xml: Replace http by https in DOCTYPE element
  38b155f
  
  Ulrich Müller committed on 2021-09-11 13:22:48 UTC
  
  metadata.xml
Commits on 2021-04-18
- sci-mathematics/twelf: eutils--
  f44d52d
  
  Sam James committed on 2021-04-18 06:04:10 UTC
  
  twelf-1.7.1-r1.ebuild
Commits on 2021-01-20
- sci-mathematics/twelf: Remove old
  f386b67
  
  Jakov Smolic authored and David Seifert committed on 2021-01-20 10:15:55 UTC
  
  twelf-1.7.1.ebuild
Commits on 2019-12-20
- sci-mathematics/twelf: Update virtual/emacs dependency.
  7123dfe
  
  Ulrich Müller committed on 2019-12-20 22:48:52 UTC
  
  twelf-1.7.1-r1.ebuild twelf-1.7.1.ebuild
Commits on 2018-03-10
- sci-mathematics/twelf: Fix 622848 in 1.7.1-r1 by requiring mlton 20180207.
  b9158c1
  
  Mark Wright committed on 2018-03-10 23:58:41 UTC
  
  files/twelf-1.7.1-mlton-20180207.patch twelf-1.7.1-r1.ebuild twelf-1.7.1.ebuild
Commits on 2017-12-10
- sci-mathematics: Update Manifest hashes.
  19b7ec1
  
  Ulrich Müller committed on 2017-12-10 11:03:50 UTC
  
  Manifest
Commits on 2017-02-28
- Drop $Id$ per council decision in bug #611234.
  61b861a
  
  Robin H. Johnson committed on 2017-02-28 19:50:50 UTC
  
  twelf-1.7.1.ebuild
Commits on 2017-01-21
- fix quoting to a lot of patch calls
  62fa24b
  
  Mike Frysinger committed on 2017-01-21 01:53:52 UTC
  
  twelf-1.7.1.ebuild
Commits on 2016-02-12
- sci-mathematics/twelf: Fix doc generation
  a33c718
  
  Vikraman Choudhury committed on 2016-02-12 04:27:56 UTC
  
  twelf-1.7.1.ebuild
- sci-mathematics/twelf: Fix typo
  aedff2b
  
  Vikraman Choudhury committed on 2016-02-12 04:03:14 UTC
  
  twelf-1.7.1.ebuild
Commits on 2016-01-24
- Set appropriate maintainer types in metadata.xml (GLEP 67)
  8849b09
  
  Michał Górny committed on 2016-01-24 22:58:38 UTC
  
  metadata.xml
Commits on 2015-08-24
- Revert DOCTYPE SYSTEM https changes in metadata.xml
  1bfb585
  
  Mike Gilbert committed on 2015-08-24 20:30:34 UTC
  
  metadata.xml
- Use https by default
  eaaface
  
  Justin Lecher committed on 2015-08-24 10:49:19 UTC
  
  metadata.xml
Commits on 2015-08-09
- proj/gentoo: Initial commit
  56bd759
  
  Robin H. Johnson committed on 2015-08-09 00:38:18 UTC
  
  Manifest files/50twelf-gentoo.el files/twelf-1.7.1-Makefile.patch files/twelf-1.7.1-doc-guide-Makefile.patch files/twelf-1.7.1-doc-guide-twelf-dot-texi.patch files/twelf-1.7.1-emacs-twelf-init.patch files/twelf-1.7.1-emacs-twelf.patch files/twelf-1.7.1-mlton-mlb.patch metadata.xml twelf-1.7.1.ebuild