summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune-site: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/dune-site: add 3.10.0Alfredo Tupone2023-08-022-0/+32
* dev-ml/dune-site: add 3.9.1Alfredo Tupone2023-07-112-0/+32
* dev-ml/dune-site: add 3.9.0Alfredo Tupone2023-07-032-0/+32
* dev-ml/dune-site: add 3.8.0Alfredo Tupone2023-05-232-0/+32
* dev-ml/dune-site: stabilize 3.7.1 for amd64Alfredo Tupone2023-05-201-1/+1
* dev-ml/dune-site: Stabilize 3.6.2 x86, #901631Arthur Zamarin2023-04-291-1/+1
* dev-ml/dune-site: Stabilize 3.6.2 amd64, #901631Arthur Zamarin2023-04-291-1/+1
* dev-ml/dune-site: Keyword 3.7.1 arm64, #904491Sam James2023-04-181-1/+1
* dev-ml/dune-site: Keyword 3.7.1 ppc64, #904491Sam James2023-04-181-1/+1
* dev-ml/dune-site: Keyword 3.7.1 ppc, #904491Sam James2023-04-181-1/+1
* dev-ml/dune-site: Keyword 3.7.1 arm, #904475Jakov Smolić2023-04-171-1/+1
* dev-ml/dune-site: add 3.7.1Alfredo Tupone2023-04-162-0/+32
* dev-ml/dune-site: Stabilize 2.9.3 ppc64, #896102Arthur Zamarin2023-03-151-1/+1
* dev-ml/dune-site: add 3.7.0Alfredo Tupone2023-03-012-0/+32
* dev-ml/dune-site: Stabilize 2.9.3 x86, #896102Arthur Zamarin2023-02-241-1/+1
* dev-ml/dune-site: Stabilize 2.9.3 amd64, #896102Sam James2023-02-231-2/+2
* dev-ml/dune-site: add 3.6.2Alfredo Tupone2023-01-302-0/+32
* dev-ml/dune-site: add 3.6.1Alfredo Tupone2022-12-162-0/+32
* dev-ml/dune-site: add 3.2.0Alfredo Tupone2022-11-222-0/+32
* dev-ml/dune-site: bump to 3.0.3Maciej Barć2022-11-192-0/+31
* dev-ml/dune-site: 2.9.3 bumpAlfredo Tupone2022-01-292-0/+31
* dev-ml/dune-site: new package; add version 2.9.1Maciej Barć2021-12-113-0/+44