summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot16 hours1-15/+16
* Adding metadataroot20 hours1-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
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-191-0/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-181-16/+19
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-01-292-0/+107
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-153-268/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-071-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-061-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-263-0/+268