GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

This repository was archived by the owner on Jan 5, 2024. It is now read-only.

Labels Milestones

Dead links in readme

#82

· YourFin opened

on Oct 8, 2020

Idris 2 support

#81

· vilunov opened

on Jun 11, 2020

Roadmap for elba 0.4

#77

· andylokandy opened

on Feb 29, 2020

elba.pub is no more

#76

· paulp opened

on Feb 2, 2020

<code>elba build</code> stale if project open in repl

#74

· ratherforky opened

on Nov 25, 2019

Integrate with rust/cargo/crates.io

#71

· marcesquerra opened

on Sep 4, 2019

<code>elba install</code> does not build library target before bins.

#67

· andylokandy opened

on Aug 10, 2019

Should cache registry dependency

#64

· andylokandy opened

on Jul 6, 2019

How to specify a pre-release version

#63

· andylokandy opened

on Jul 6, 2019

Root lib will be rebuilt if <code>elba test</code> fails on test compilation

#57

· andylokandy opened

on May 31, 2019

split out core pubgrub resolver into separate package?

#44

· jlgerber opened

on Mar 26, 2019

"Secure" indices

#33

· dcao opened

on Sep 11, 2018

0