issues
search
stefan-hoeck
/
idris2-pack
BSD 3-Clause "New" or "Revised" License
105
stars
27
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
feat: add flake.nix and ipkg-parser.nix
#313
srghma
opened
4 weeks ago
3
[feature request] create a website like https://pursuit.purescript.org/search?q=
#312
srghma
opened
1 month ago
2
how to use on nixos?
#311
srghma
opened
1 month ago
4
[ compat ] adjust file paths to upstream changes
#310
stefan-hoeck
closed
1 month ago
0
[ fix ] use correct path for lib dir in multi-package projects
#309
stefan-hoeck
closed
1 month ago
0
[needs repro] Unable to switch to nightly-231223
#308
CodingCellist
closed
2 months ago
4
Multiline comments in ipkg files.
#307
stephen-smith
opened
2 months ago
6
[ fix ] try bootstrapping when building Idris fails
#306
stefan-hoeck
closed
2 months ago
0
pack switch nightly-240524 : error compilong Pretty.idr
#305
maheshkronecker
closed
2 months ago
3
[ fix ] docs generation in pack and pack-admin
#304
stefan-hoeck
closed
2 months ago
0
Advise users to use --bootstrap when too many versions have been skipped
#303
andrevidela
closed
2 months ago
2
[ re #270 ] Make `extra-args` work more appropriately
#302
buzden
closed
2 months ago
2
[ feature ] Automating Mid-Install Temporary Directory Cleanup
#301
Matthew-Mosior
opened
3 months ago
2
[ completion ] Shell completion suggests options after commands, which is not supported
#300
buzden
opened
3 months ago
0
[ feature ] New Pack Command: Uninstall
#299
Matthew-Mosior
closed
3 months ago
3
[ new ] Support searching the only `ipkg` when no package is given
#298
buzden
closed
3 months ago
1
[feature request] make <pkg or .ipkg> optional
#297
isberg
closed
3 months ago
2
[feature request] support `latest` switch for option -p
#296
ohad
opened
3 months ago
2
[ refactor ] ditching contrib
#295
stefan-hoeck
closed
4 months ago
1
Official Way To Automatically Uninstall
#294
jgarte
closed
3 months ago
1
[ feature request ] Support constraints in `collection` setting in `pack.toml`
#293
buzden
opened
4 months ago
0
PACK_DIR environment variable being ignored
#292
foxyseta
opened
5 months ago
5
[ new, fix ] add cleanbuild command and remove build dir during clean
#291
stefan-hoeck
closed
5 months ago
1
Install curl in CI
#290
joelberkeley
closed
5 months ago
5
Remove "Stuff still missing" section from README
#289
joelberkeley
closed
5 months ago
1
Temporary directories not cleaned
#288
joelberkeley
opened
5 months ago
2
Support custom Pack DB
#287
joelberkeley
opened
6 months ago
0
FC38, FC39 with racket 7.9 — ./bootstrap-stage1-racket.sh freezes on compilation
#286
belonesox
closed
7 months ago
4
[ compat ] add export modifier to operator decls
#285
stefan-hoeck
closed
7 months ago
0
Feature request: custom installation directories
#284
foxyseta
closed
8 months ago
2
GMP not found on Mac M1 for `pack switch HEAD`
#283
joelberkeley
closed
6 months ago
6
[ feature request ] Add a dependency checker script
#282
GunpowderGuy
opened
8 months ago
5
[ feature request ] Add support for alternative sources of package collections
#281
buzden
opened
8 months ago
1
[ fix ] outdate local packages after changes to .ipkg files
#280
stefan-hoeck
closed
8 months ago
0
[ doc ] Update Apple Silicon note for Chez 10.0.0
#279
CodingCellist
closed
9 months ago
1
Parallel runs of `pack` instances are not synronised and can lead to inconsistent state
#278
buzden
opened
9 months ago
0
[ re #276 ] Make docker healthcheck to be not side-effecting
#277
buzden
closed
9 months ago
0
[ lint ] Make Dockerfile pass the linter & expose `PACK_DIR` variable
#276
buzden
closed
9 months ago
1
[ bump ] Update deprecated CI actions and use newer linter version
#275
buzden
closed
9 months ago
4
Manage/use local build of Idris2?
#274
sebeaumont
closed
9 months ago
2
Support builds without network access
#273
jalil-salame
opened
10 months ago
6
Proper way to upgrade Idris2?
#272
mars0i
opened
11 months ago
3
[ safety ] Treat extra args in configs a bit smarter
#271
buzden
opened
12 months ago
0
[ feature ] Add the `extra-args` option
#270
0xd34df00d
closed
11 months ago
2
[feature] Allow passing extra options to `idris2` executable from `pack` command line
#269
0xd34df00d
closed
11 months ago
1
[ fix ] cleanup lib dir when removing or re-installing libs
#268
stefan-hoeck
closed
12 months ago
0
[ fix ] example apps list in install script
#267
stefan-hoeck
closed
12 months ago
0
[ doc ] Update M1 mac instructions to point to upstream Chez
#266
dunhamsteve
closed
12 months ago
1
[ fix, compat ] adjust example 1 to latest changes in the totality ch…
#265
stefan-hoeck
closed
1 year ago
1
[ doc ] Mention `packagePath` in the readme
#264
buzden
closed
1 year ago
1
Next