master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z

idrisPackages.canvas 2017-11-09 single

Idris FFI binding for html5 canvas 2d api

Name
idris-canvas-2017-11-09
Package set
idrisPackages
Homepage
https://github.com/JinWuZhao/idriscanvas
Source
pkgs/development/idris-modules/canvas.nix:20
Derivation
/nix/store/ni3phwwg5s224a3fcayrdhrh2qgzfc7a-idris-canvas-2017-11-09.drv
Repology
not reported as outdated · look up (as of 2026-10-08T00:43:59Z)

Maintainers 1

HandleNameContactVia
brainrake Marton Boros GitHub · martonboros@gmail.com listed on package

Dependencies 5

PackageAsMaintainersUsed by (transitive)Status
idrisPackages.base 1.3.4 propagatedBuildInputs
80 unmaintained
idrisPackages.prelude 1.3.4 propagatedBuildInputs
81 unmaintained
gmp 6.3.0 buildInputs 49,029 single
bashNonInteractive 5.3p15 other input 102,175 maintained outdated
stdenv 26.05pre-git other input
90,063 team-only

Used by 0 directly, 0 transitively

No package depends on this one.