summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq-serapi
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2 days5-0/+117
* Adding metadataroot3 days5-117/+0
* Adding metadataroot11 days5-0/+117
* Adding metadataroot11 days5-118/+0
* Revert "Adding metadata"root11 days5-0/+118
* Adding metadataroot11 days5-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