summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-121-0/+33
* Adding metadataroot2026-06-121-33/+0
* Adding metadataroot2026-06-041-0/+33
* Adding metadataroot2026-06-041-34/+0
* Revert "Adding metadata"root2026-06-041-0/+34
* Adding metadataroot2026-06-041-34/+0
* Adding metadataroot2026-05-311-15/+16
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-09-281-16/+16
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-171-0/+5
* 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]2022-02-271-2/+5
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-10/+9
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-11/+10
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-03-131-3/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-02-081-13/+17
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-02-071-0/+1
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-071-1/+1
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-9/+10
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-1/+0
* Updating liguros repoPalica2020-06-231-0/+25