git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ca34dec
help
sign in
history of
docs/reference/packages.rst
all commits
a7d3c09
Fix typo in package name
Ben Moon
9 years ago
946c9e1
Set environment with Idris flags while running `make`
Alex Queiroz
9 years ago
94f4148
Updated CHANGELOG and Documentation.
Jan de Muijnck-Hughes
10 years ago
efd9950
Updates to User Docs on Idris packages.
Jan de Muijnck-Hughes
10 years ago
fe82599
Update the reference for packages
Markus Klink
10 years ago
6ea5fa4
Add short info on headers copying
Bartosz
10 years ago
61dfb94
Extend iPKG files to include metadata.
Jan de Muijnck-Hughes
10 years ago
22c1e98
Relax naming rules for packages.
Jan de Muijnck-Hughes
10 years ago
008e0c6
Updated Sphinx Doc for Packages.
Jan de Muijnck-Hughes
10 years ago
0d78f19
Improvements to ipkg files for dependancies.
Jan de Muijnck-Hughes
11 years ago
7f6f3c4
Spelling in Sphinx documentation
Echo Nolan
11 years ago
9f04257
Updates
Jan de Muijnck-Hughes
11 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list