summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sys-apps/openrazer: bump to 3.5.1Maciej Barć5 hours2-0/+161
* app-emacs/exheres-mode: new package; add 1.10Maciej Barć8 hours4-0/+38
* dev-python/js2py: bump to 0.74Maciej Barć8 hours2-0/+44
* dev-lang/nprolog: new package; add 1.92Maciej Barć12 hours3-0/+50
* app-emacs/org-mode: update liveMaciej Barć12 hours1-3/+4
* app-emacs/org-mode: bump to 9.6Maciej Barć12 hours2-0/+53
* app-emacs/corfu: drop old 0.27Maciej Barć12 hours2-30/+0
* app-emacs/corfu: bump to 0.34Maciej Barć12 hours2-0/+30
* app-emacs/consult: drop old 0.18Maciej Barć12 hours2-26/+0
* app-emacs/consult: bump to 0.29Maciej Barć12 hours2-0/+26
* dev-scheme/guile-gcrypt: bump to 0.4.0Maciej Barć2 days2-0/+38
* app-emacs/company-ebuild: drop old 0.1.0Maciej Barć3 days2-31/+0
* app-emacs/company-ebuild: bump to 0.1.3Maciej Barć3 days2-0/+31
* x11-themes/fluent-icon-theme: drop old 2022.02.28Maciej Barć4 days2-57/+0
* x11-themes/fluent-icon-theme: drop old 2022.02.04Maciej Barć4 days2-57/+0
* x11-themes/fluent-icon-theme: bump to 2022.11.30Maciej Barć4 days2-0/+57
* app-emacs/racket-mode: bump to 1_p20221122Maciej Barć5 days2-0/+59
* app-emacs/racket-mode: use different version schemaMaciej Barć5 days4-3/+3
* app-emacs/racket-mode: drop old 20220411-r1Maciej Barć5 days2-58/+0
* app-emacs/geiser-guile: drop old 0.23.2Maciej Barć5 days2-43/+0
* app-emacs/geiser-guile: bump to 0.28.1Maciej Barć5 days2-0/+43
* app-emacs/geiser: drop old 0.26.1Maciej Barć5 days2-41/+0
* app-emacs/geiser: bump to 0.28.1Maciej Barć5 days2-0/+41
* app-emacs/corfu: drop old 0.26Maciej Barć5 days2-28/+0
* app-emacs/vertico: drop old 0.26Maciej Barć5 days2-30/+0
* app-emacs/vertico: bump to 0.29Maciej Barć5 days2-0/+30
* app-emacs/corfu: bump to 0.33Maciej Barć5 days2-0/+30
* app-emacs/pdf-tools: bump to 1.0.0Maciej Barć5 days2-0/+65
* app-emacs/csharp-mode: bump to 2.0.0Maciej Barć5 days2-0/+20
* dev-ml/merlin: drop old 4.3.1-r3Maciej Barć5 days2-86/+0
* dev-ml/merlin: drop old 4.2-r2Maciej Barć5 days2-85/+0
* dev-ml/merlin: drop old 3.4.2-r3Maciej Barć5 days2-71/+0
* dev-ml/merlin: drop old 4.4-r3Maciej Barć5 days2-96/+0
* dev-ml/merlin: bump to 4.7Maciej Barć5 days2-0/+109
* sci-mathematics/mathlib-tools: bump to 1.3.1Maciej Barć5 days2-0/+54
* dev-ml/merlin: remove seq reference from dune build fileMaciej Barć6 days1-1/+4
* dev-lang/boogie: bump to 2.16.0Maciej Barć6 days2-0/+95
* sci-mathematics/cadabra: bump to 2.4.2.2Maciej Barć6 days2-0/+105
* dev-python/simber: bump to 0.2.5Maciej Barć7 days2-0/+23
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć8 days2-91/+0
* app-emacs/eldev: bump to 1.3Maciej Barć8 days2-0/+46
* app-emacs/eldev: drop old 1.1.3Maciej Barć8 days2-46/+0
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć9 days2-0/+91
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć9 days2-91/+0
* sci-mathematics/coq: bump to 8.16.1Maciej Barć9 days2-0/+112
* dev-lang/nim: bump to 1.6.10Maciej Barć11 days2-0/+109
* app-emacs/projectile: bump to 2.7.0Maciej Barć12 days2-0/+29
* dev-lang/eisl: drop old 2.60Maciej Barć12 days2-37/+0
* dev-lang/eisl: bump to 2.65Maciej Barć12 days2-0/+41
* dev-ml/ounit2: remove seq reference from dune build fileMaciej Barć13 days2-0/+21