Gentoo Packages

Search

Package Information

Description:

A library to process Coq and Lean snippets embedded in text documents, showing goals and messages for each input sentence. Also a literate programming toolkit. The goal of Alectryon is to make it easy to write textbooks, blog posts, and other documents that mix interactive proofs and prose. Alectryon originally supported Coq only. Support for Lean is preliminary and restricted to Lean 3.

Homepage:

https://github.com/cpitclaudel/alectryon/

Versions

Metadata

Description

• A library to process Coq and Lean snippets embedded in text documents, showing goals and messages for each input sentence. Also a literate programming toolkit. The goal of Alectryon is to make it easy to write textbooks, blog posts, and other documents that mix interactive proofs and prose. Alectryon originally supported Coq only. Support for Lean is preliminary and restricted to Lean 3.

Maintainers

• Gentoo Mathematics Project (sci-mathematics@gentoo.org) - Type: project

Upstream

• Bugs: https://github.com/cpitclaudel/alectryon/issues/
• Changelog: https://github.com/cpitclaudel/alectryon/releases/
• Remote IDs:
  • github: cpitclaudel/alectryon

<pkgmetadata>
	<maintainer type="project">
		<email>sci-mathematics@gentoo.org</email>
		<name>Gentoo Mathematics Project</name>
	</maintainer>
	<longdescription>
    A library to process Coq and Lean snippets embedded in text documents,
    showing goals and messages for each input sentence. Also a literate
    programming toolkit. The goal of Alectryon is to make it easy to write
    textbooks, blog posts, and other documents that mix interactive proofs and
    prose.
    Alectryon originally supported Coq only. Support for Lean is preliminary
    and restricted to Lean 3.
  </longdescription>
	<upstream>
		<changelog>https://github.com/cpitclaudel/alectryon/releases/</changelog>
		<bugs-to>https://github.com/cpitclaudel/alectryon/issues/</bugs-to>
		<remote-id type="github">cpitclaudel/alectryon</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Ebuild 1.4.0-r2 uses IUSE flag 'emacs' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Missing md5-cache for version 1.4.0-r2. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

USE Flags

Files

• 50alectryon-gentoo.el
• alectryon-1.4.0-setup.cfg-version.patch

Manifest