GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/sync/gentoo.git
master
stable
Sync-friendly git mirror of repo/gentoo with caches and metadata
Michał Górny <mgorny@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
/
coq-serapi
Commit message (
Expand
)
Author
Age
Files
Lines
*
sci-mathematics/coq-serapi: drop old 0.19.0
Maciej Barć
2024-11-19
2
-77
/
+0
*
sci-mathematics/coq-serapi: bump to 0.20.0
Maciej Barć
2024-09-09
2
-0
/
+84
*
sci-mathematics/coq-serapi: drop old 0.18.1
Maciej Barć
2024-03-04
3
-85
/
+0
*
sci-mathematics/coq-serapi: bump to 0.19.0
Maciej Barć
2024-02-05
3
-0
/
+88
*
sci-mathematics/coq-serapi: drop old 0.17.0
Maciej Barć
2024-01-15
2
-71
/
+0
*
sci-mathematics/coq-serapi: bump to 0.18.1
Maciej Barć
2023-10-23
2
-0
/
+73
*
sci-mathematics/coq-serapi: drop old 0.16.3
Maciej Barć
2023-07-16
2
-71
/
+0
*
sci-mathematics/coq-serapi: drop old 0.16.2-r1
Maciej Barć
2023-07-16
2
-68
/
+0
*
sci-mathematics/coq-serapi: drop old 0.16.1
Maciej Barć
2023-07-16
2
-67
/
+0
*
sci-mathematics/coq-serapi: bump to 0.17.0
Maciej Barć
2023-04-10
2
-0
/
+71
*
sci-mathematics/coq-serapi: fix SRC_URI
Maciej Barć
2023-04-10
1
-1
/
+1
*
sci-mathematics/coq-serapi: introduce COQ_MIN_V
Maciej Barć
2023-03-15
1
-3
/
+4
*
sci-mathematics/coq-serapi: drop old 0.16.0-r1
Maciej Barć
2023-02-17
2
-67
/
+0
*
sci-mathematics/coq-serapi: bump to 0.16.3
Maciej Barć
2023-02-17
2
-0
/
+70
*
sci-mathematics/coq-serapi: remove ppx_sexp_conv restriction
Maciej Barć
2023-01-27
1
-1
/
+2
*
sci-mathematics/coq-serapi: drop old 0.15.0-r3
Maciej Barć
2023-01-12
2
-65
/
+0
*
sci-mathematics/coq-serapi: bump to 0.16.2
Maciej Barć
2023-01-12
2
-0
/
+67
*
sci-mathematics/coq-serapi: bump to 0.16.1
Maciej Barć
2022-10-31
2
-0
/
+67
*
sci-mathematics/coq-serapi: remove seq dependency
Maciej Barć
2022-10-27
1
-1
/
+0
*
sci-mathematics/coq-serapi: bump to 0.16.0
Maciej Barć
2022-10-02
2
-0
/
+68
*
sci-mathematics/coq-serapi: restrict coq version
Maciej Barć
2022-10-02
1
-1
/
+1
*
sci-mathematics/coq-serapi: fix elisp libraries installation
Maciej Barć
2022-04-20
1
-1
/
+1
*
sci-mathematics/coq-serapi: add ppx_sexp_conv version constraints
Maciej Barć
2022-04-16
1
-1
/
+1
*
sci-mathematics/coq-serapi: new package; add 0.15.0
Maciej Barć
2022-03-05
5
-0
/
+100
GitWeb
GitWeb
