index
:
alpine_aports
gerbera-community
master
nmon
public-domain
runuser
Alpine Linux aports, staging area
Linux User
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testing
/
idris
Commit message (
Expand
)
Author
Age
*
testing/idris: upgrade to 1.3.3
J0WI
2020-07-03
*
testing/idris: upgrade to 1.3.2
J0WI
2020-04-10
*
testing/idris: disable on x86_64
Leo
2020-04-10
*
testing/idris: try using v1-sandbox instead of sandbox
Leo
2020-04-09
*
{main,community,testing}/*: rebuild against libffi.so.7
Leo
2020-04-09
*
testing: (Bulk change) Update urls to https using HTTPS Everywhere and bump p...
J0WI
2018-10-06
*
testing/idris: upgrade to 1.3.0
Mitch Tishmack
2018-06-15
*
[various]: unify names of licenses according to SPDX
Jakub Jirutka
2017-12-30
*
testing/idris: disable on armhf due to build failure
Jakub Jirutka
2017-10-29
*
testing/idris: bump release, disable building of profiled objects
Mitch Tishmack
2017-10-27
*
testing/idris: Fix build of idris with newer pkg versions
Mitch Tishmack
2017-10-27
*
testing/idris: Remove incorrect comments re: cabal and validation
Mitch Tishmack
2017-10-27
*
testing/idris: disable on armhf. does not build
Natanael Copa
2017-05-22
*
testing/idris: use cabal freeze and sandbox for great good
Jakub Jirutka
2017-05-17
*
testing/idris: fix and improve abuild
Jakub Jirutka
2017-05-17
*
testing/idris: new aport
Mitch Tishmack
2017-05-17