diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-12-25 08:04:31 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-25 08:04:31 +0000 |
| commit | e547f4cd5bc4d4173bb4b2b767883537d2d7486d (patch) | |
| tree | 365ff7975253c9ef86eac145ffd2bd20eb12e17a /sci-mathematics/coq | |
| parent | 426aa983e40197a69c600c42e0679b2161ca225c (diff) | |
gentoo auto-resync : 25:12:2022 - 08:04:30
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions