summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-02-14 01:55:21 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-02-14 01:55:21 +0000
commit5c1e419582680cfb61e0ae777c693704f3a731e1 (patch)
tree93222dbb37294b92dda9cdc49eb6916f0aee55bb /sci-mathematics/coq
parent8d8d5594277708985dde6b4829f02ce45408e78e (diff)
gentoo auto-resync : 14:02:2023 - 01:55:20
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions