Update Idris in nixpkgs #41

Closed

Closed

Update Idris in nixpkgs#41

Assignees

Labels

Milestone

First ten chapters

opened

Use 1.1.0 (related: WIP: Edit Preface #20)
Ensure we can at least build this iPKG

Related: NixOS/nixpkgs#26014

Metadata

Assignees

yurrriq

Labels

Type

No type

Projects

No projects

Milestone

First ten chaptersNo due date

Relationships

None yet

Development

No branches or pull requests