Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

python3Packages.alectryon

alectryon 2.0.0 · pkgs/development/python-modules/alectryon/default.nix
Sign in to watch

Health

Risk
risk 0 ok
Version
2.0.0 no newer release in PyPI
Channels
master 2.0.0 · nixos-unstable 2.0.0 · nixos-26.05 1.4.0 master is ahead of nixos-26.05
Hydra
no finished build of nixpkgs/unstable/python3Packages.alectryon.x86_64-linux
Advisories
none open
Packaging
meta complete
Packagewhat each field means
Description
Collection of tools for writing technical documents that mix Coq code and prose
Homepage
https://github.com/cpitclaudel/alectryon
License
MIT
Platforms
31 platforms: Linux, Darwin
Main program
alectryon
Source provenance
not set: built from source
Outputs
out dist
Status
not broken, not insecure, free
Position
pkgs/development/python-modules/alectryon/default.nix:41
Maintainers
Zimmi48

Version bumps 0

all open bumps
None open.

Pull requests 1

python3Packages: migrate from sha256 to hash
#558095 by Ambossmann · opened 6w ago · checks pass
Closed or merged in the last 60 days 1
python3Packages.{various}: use `hash = "sha256-..."` instead of `sha256 = "sha256-...`
#573477 by ShadowRZ · merged 3d ago

Issues 0

None open.