summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune-site: add 3.16.1Alfredo Tupone8 days2-0/+41
* dev-ml/dune-site: drop 3.10.0, 3.13.1Alfredo Tupone2024-09-083-65/+0
* dev-ml/dune-site: drop 3.6.2, 3.7.1, 3.11.1Alfredo Tupone2024-09-024-96/+0
* dev-ml/dune-site: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 arm, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-site: add 3.16.0Alfredo Tupone2024-07-032-0/+33
* dev-ml/dune-site: add 3.13.1Alfredo Tupone2024-07-022-0/+33
* dev-ml/dune-site: Stabilize 3.10.0 arm, #933822Arthur Zamarin2024-06-081-1/+1
* dev-ml/dune-site: add 3.11.1Alfredo Tupone2024-06-082-0/+32
* dev-ml/dune-site: Stabilize 3.10.0 amd64, #933822Arthur Zamarin2024-06-081-1/+1
* dev-ml/dune-site: Stabilize 3.10.0 x86, #933822Arthur Zamarin2024-06-081-1/+1
* dev-ml/dune-site: Stabilize 3.10.0 ppc64, #933822Arthur Zamarin2024-06-081-2/+2
* dev-ml/dune-site: drop versionsAlfredo Tupone2024-06-049-254/+0
* 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