summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq-serapi
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible13 hours1-2/+2
* Adding metadataroot2026-06-125-0/+117
* Adding metadataroot2026-06-125-117/+0
* Adding metadataroot2026-06-045-0/+117
* Adding metadataroot2026-06-045-118/+0
* Revert "Adding metadata"root2026-06-045-0/+118
* Adding metadataroot2026-06-045-118/+0
* Adding metadataroot2026-05-311-12/+13
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-11-202-77/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-092-0/+84
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-053-85/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-02-053-0/+88
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-01-152-71/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-242-0/+73
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-07-164-206/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-13/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-12/+13
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-113-1/+72
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-03-151-3/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-172-5/+8
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-271-1/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-132-4/+6
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-10-312-0/+67
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-10-271-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-10-023-1/+69
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-04-201-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-04-171-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-055-0/+99