configuration
Topic | Replies | Views | Activity | |
---|---|---|---|---|
[ANN] First release of scfg |
![]() ![]() ![]() ![]() ![]() |
10 | 1557 | March 26, 2025 |
Functors for library configuration |
![]() ![]() |
2 | 163 | July 15, 2024 |
[OPAM] adding flags to `./configure` |
![]() ![]() ![]() |
2 | 455 | March 30, 2023 |