Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/alectryon

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask sci-mathematics/alectryon

Or alternatively:

emerge --autounmask-write -a sci-mathematics/alectryon

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/

License:

MIT

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] USE flag 'doc' in ebuild 1.4.0-r2 is not documented in metadata.xml
• [Warning] USE flag 'emacs' in ebuild 1.4.0-r2 is not documented in metadata.xml
• [Error] Missing md5-cache for ebuild alectryon-1.4.0-r2

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/alectryon | euse -E <flag> -p sci-mathematics/alectryon | euse -D <flag> -p sci-mathematics/alectryon

Files

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

Manifest