Navigation
Projects
Signed in as: AnonymousUser
Settings
Log out
Help
Support
Docs
Getting started
Status
Sign up
Log in
elba
EN
idris
package-manager
Maintainers
Repository
https://github.com/elba/elba.git
Versions
7
Builds
85
For version
0.3.2
State
Any
Active
Build successful
Build failed
Type
Any
Normal
Pull/merge request
Version 0.3.2
/
#9616971
Started 4 years, 8 months ago
0.3.2
Version 0.3.2
Builds
For version 0.3.2
Tag
0.3.2
Documentation
Active
Built
Version 0.3.2
/
#9616952
Started 4 years, 8 months ago
a878ae89
0.3.2
Version 0.3.2
Builds
For version 0.3.2
Tag
0.3.2
Documentation
Active
Built
Version 0.3.2
/
#9616941
Started 4 years, 8 months ago
a878ae89
0.3.2
Version 0.3.2
Builds
For version 0.3.2
Tag
0.3.2
Documentation
Active
Built