abella

abella 2.0.8 · pkgs/by-name/ab/abella/package.nix

Health

Risk

risk 9 low

+8 2.0.8 is behind upstream 2.0.8.3
+1 no versionCheckHook

Version

2.0.8 upstream 2.0.8.3

Channels

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

Hydra

succeeded 2w ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Interactive theorem prover

Long description

Abella is an interactive theorem prover based on lambda-tree syntax.
This means that Abella is well-suited for reasoning about the meta-theory
of programming languages and other logical systems which manipulate
objects with binding.

Homepage

https://abella-prover.org

License

GPL-3.0

Platforms

45 platforms: Linux, Darwin

Main program

abella

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/by-name/ab/abella/package.nix:58

Maintainers

bcdarwin

Version bumps 0all open bumps

None open. Upstream has 2.0.8.3: how to update a package.

Pull requests 1

various: migrate ocaml packages to by name draft

#492916 by guylamar2006 · opened 7mo ago

Closed or merged in the synced window 2

staging-next 2026-09-05

#560469 by vcunat · merged 5w ago

ocaml: default to version 5.5

#554609 by vbgl · merged 7w ago

Issues 0

None open.