summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible14 hours1-2/+2
* Adding metadataroot2026-06-128-0/+855
* Adding metadataroot2026-06-128-855/+0
* Adding metadataroot2026-06-048-0/+855
* Adding metadataroot2026-06-048-856/+0
* Revert "Adding metadata"root2026-06-048-0/+856
* Adding metadataroot2026-06-048-856/+0
* Adding metadataroot2026-05-311-15/+16
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-04-012-7/+6
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-02-182-0/+144
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-01-051-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-11-081-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-09-286-26/+29
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-09-282-0/+143
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-291-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-173-0/+149
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-123-0/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-094-4/+127
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-12-141-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-11-203-246/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-011-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-091-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-092-0/+140
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-06-102-0/+123
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-05-242-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-053-136/+33
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-02-281-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-01-252-0/+123
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-01-161-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-103-93/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-161-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-07-182-18/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-07-165-224/+18
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-07-111-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-06-283-89/+113
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-06-102-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-05-271-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-12/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-12/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-131-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-127-119/+16
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-112-0/+104
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-143-6/+6
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-273-91/+112
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-09-063-115/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-06-012-0/+112
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-232-0/+112
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-141-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-271-2/+5