summaryrefslogtreecommitdiff
path: root/dev-lang/ocaml
Commit message (Collapse)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible12 hours1-2/+2
|
* Adding metadataroot2026-06-127-0/+403
|
* Adding metadataroot2026-06-127-403/+0
|
* Adding metadataroot2026-06-047-0/+403
|
* Adding metadataroot2026-06-047-402/+0
|
* Revert "Adding metadata"root2026-06-047-0/+402
| | | | This reverts commit f716a9fe6455d39eef01e718aae68dae61c19704.
* Adding metadataroot2026-06-047-402/+0
|
* Adding metadataroot2026-05-311-11/+12
|
* Adding metadataroot2026-05-311-3/+1
|
* Adding metadataroot2026-05-311-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-12-193-3/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-12-173-3/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-11-255-237/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-11-244-241/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-11-192-0/+115
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-082-105/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-022-109/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-09-272-107/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-08-292-101/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-04-223-218/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-04-111-0/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-133-5/+8
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-112-0/+108
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-12-302-0/+108
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-181-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-151-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-121-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-138-8/+8
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-06-231-132/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-06-096-17/+20
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-06-021-0/+4
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-04-302-0/+101
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-02-151-4/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-11-151-13/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-282-159/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-06-244-7/+7
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-05-268-8/+8
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-05-248-8/+8
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-17/+18
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-18/+17
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-041-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-03-173-3/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-03-173-5/+5
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-168-8/+8
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-112-0/+101
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-301-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-09-291-0/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-04-191-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-293-0/+236
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-043-190/+0
|