issues
search
mattpolzin
/
nix-idris2-packages
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Nest custom packages
#20
mattpolzin
closed
1 day ago
0
Clean some files up
#19
mattpolzin
closed
1 day ago
0
remove broken.json in favor of just using overrides to mark broken packages
#18
mattpolzin
closed
1 day ago
0
Include an overlay for merging the idris2 packages with a nixpkgs set
#17
mitchmindtree
opened
2 days ago
5
Integrate into Nixpkgs?
#16
ProducerMatt
opened
5 days ago
4
split ipkgNames coming from Pack's db into a sourceRoot and filename
#15
mattpolzin
opened
5 days ago
0
unbreak posix
#14
mattpolzin
opened
5 days ago
0
unbreak pg-idris
#13
mattpolzin
closed
5 days ago
0
unbreak tyttp
#12
mattpolzin
closed
6 days ago
0
unbreak c-ffi package
#11
mattpolzin
closed
6 days ago
0
unbreak webserver-racket
#10
mattpolzin
closed
1 week ago
0
unbreak cptr
#9
mattpolzin
closed
1 week ago
0
unbreak epoll
#8
mattpolzin
closed
1 week ago
0
unbreak cheerio
#7
mattpolzin
closed
1 week ago
0
Fix idris2 go
#6
mattpolzin
closed
1 week ago
0
fix distribution package
#5
mattpolzin
closed
1 week ago
0
Support building with source
#4
mattpolzin
closed
1 week ago
0
Experimental impure shell
#3
mattpolzin
closed
1 week ago
0
Move the recursive broken check into the `build_all.nix` file instead of running it for all evaluations of the packageset
#2
mattpolzin
closed
2 weeks ago
1
Use the LSP repo's Flake to build the LSP server
#1
mattpolzin
closed
2 weeks ago
1