| Age | Commit message | Author |
|---|---|---|
| 2018-07-30 | Build entire ulib | robinleander |
| 2018-07-29 | Add comments, fix output path | robinleander |
| 2018-07-29 | Fix path hacks | robinleander |
| 2018-07-29 | Only use files from fstar package | robinleander |
| 2018-07-29 | Fix missing space | robinleander |
| 2018-07-29 | Copy all files in /opt/fstar | robinleander |
| 2018-07-27 | Add Fstar to path | robinleander |
| 2018-07-27 | Bump release | robinleander |
| 2018-07-27 | Fix compile | robinleander |
| 2018-07-27 | Remake ulib | robinleander |
| [...] | ||
| Clone | ||
| https://aur.archlinux.org/fstar-ulib.git/ | ||