diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2024-06-10 15:25:06 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-06-10 15:59:42 +0200 |
| commit | cc52d8257b700044a2900d8c0413607491f4e93a (patch) | |
| tree | f9b130f351b234b7747036862a241dc17ce79327 /eclass/common-lisp-3.eclass | |
| parent | 7696b07ebb3ceba58e08a7db5344bc79a02ebfd9 (diff) | |
| download | gentoo-cc52d8257b700044a2900d8c0413607491f4e93a.tar.gz gentoo-cc52d8257b700044a2900d8c0413607491f4e93a.tar.bz2 gentoo-cc52d8257b700044a2900d8c0413607491f4e93a.zip | |
sci-mathematics/coq: bump to 8.19.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'eclass/common-lisp-3.eclass')
0 files changed, 0 insertions, 0 deletions