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

anders

anders 5.0.0 · pkgs/by-name/an/anders/package.nix

Sign in to subscribe

Health

Risk

risk 15 medium

+8 5.0.0 is behind upstream 5.1.0
+6 no maintainer
+1 no versionCheckHook

Version

5.0.0 upstream 5.1.0

Channels

master 5.0.0 · nixos-unstable 5.0.0 · nixos-26.05 5.0.0 no channel is behind master

Hydra

succeeded 2w ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Modal Homotopy Type System

Homepage

https://homotopy.dev/

License

Platforms

25 platforms: Linux, Darwin

Main program

anders

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/by-name/an/anders/package.nix:26

Maintainers

none

Version bumps 1all open bumps

anders: 5.0.0 -> 5.1.0

#517959 by r-ryantm · opened 5mo ago

Pull requests 2

anders: 5.0.0 -> 5.1.0

#517959 by r-ryantm · opened 5mo ago

treewide: use hash instead of sha256 attrbute for sri hashes draft

#389461 by afh · opened 19mo ago · checks pass

Issues 0

None open.