lustrec / plugins @ a2b101d3
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| mpfr | 9c4cc944 | 7 months | Corentin Lauverjat | Transition to dune build system Improvement of ... | |
| salsa | 943dbab3 | 7 months | Pierre-Loïc Garoche | fixed some code in salsa plugin migration | |
| scopes | 9c4cc944 | 7 months | Corentin Lauverjat | Transition to dune build system Improvement of ... | |
| seal | 9c4cc944 | 7 months | Corentin Lauverjat | Transition to dune build system Improvement of ... | |
| tiny | 9c4cc944 | 7 months | Corentin Lauverjat | Transition to dune build system Improvement of ... | |
| zustre | a2b101d3 | 7 months | Pierre-Loïc Garoche | Zustre/Z3 dependency: switched from -R to -rpat... |
Latest revisions
Also available in: Atom