bitwuzla-git
|
0.4.0.r51.g31330f2-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-05-14 17:30 (UTC) |
bitwuzla
|
0.4.0-2 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-05-14 17:30 (UTC) |
ch34x-dkms-git
|
r44.845e6f5-1 |
4 |
0.02
|
CH341SER driver with fixed bug |
maxpivo
|
2022-03-13 14:09 (UTC) |
kopano-postfixadmin
|
0.45.3-5 |
1 |
0.00
|
A web based interface used to manage mailboxes, virtual domains and aliases created for Kopano-Server with DB-Plugin and Postfix |
martimcfly
|
2018-09-03 15:47 (UTC) |
lua52-jsonrpc4lua
|
1.0.1-1 |
0 |
0.00
|
A very basic JSON RPC client and server-side module. This repository is a fork of the original craigmj/json4lua repository with bug fixes and the switch to lua-cjson for JSON encoding and decoding. |
MarsSeed
|
2019-01-28 01:55 (UTC) |
lua51-jsonrpc4lua
|
1.0.1-1 |
0 |
0.00
|
A very basic JSON RPC client and server-side module. This repository is a fork of the original craigmj/json4lua repository with bug fixes and the switch to lua-cjson for JSON encoding and decoding. |
MarsSeed
|
2019-01-28 01:55 (UTC) |
lua-jsonrpc4lua
|
1.0.1-1 |
0 |
0.00
|
A very basic JSON RPC client and server-side module. This repository is a fork of the original craigmj/json4lua repository with bug fixes and the switch to lua-cjson for JSON encoding and decoding. |
MarsSeed
|
2019-01-28 01:55 (UTC) |
fxdiv-git
|
r53.f8c5354-1 |
0 |
0.00
|
Header-only library for division via fixed-point multiplication by inverse (git version) |
MarsSeed
|
2018-11-23 11:38 (UTC) |
ttf-iosevka-fixed-ss18
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:24 (UTC) |
ttf-iosevka-fixed-ss17
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:24 (UTC) |
ttf-iosevka-fixed-ss16
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:24 (UTC) |
ttf-iosevka-fixed-ss15
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:24 (UTC) |
ttf-iosevka-fixed-ss14
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:23 (UTC) |
ttf-iosevka-fixed-ss13
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:23 (UTC) |
ttf-iosevka-fixed-ss12
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:23 (UTC) |
ttf-iosevka-fixed-ss11
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:23 (UTC) |
ttf-iosevka-fixed-ss10
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:23 (UTC) |
ttf-iosevka-fixed-ss09
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:23 (UTC) |
ttf-iosevka-fixed-ss08
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:23 (UTC) |
ttf-iosevka-fixed-ss07
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:23 (UTC) |
ttf-iosevka-fixed-ss06
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:23 (UTC) |
ttf-iosevka-fixed-ss05
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:23 (UTC) |
ttf-iosevka-fixed-ss04
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:22 (UTC) |
ttf-iosevka-fixed-ss03
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:22 (UTC) |
ttf-iosevka-fixed-ss02
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:22 (UTC) |
ttf-iosevka-fixed-ss01
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:22 (UTC) |
ttf-iosevka-fixed-slab
|
30.0.1-1 |
2 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:22 (UTC) |
ttf-iosevka-fixed-curly-slab
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:22 (UTC) |
ttf-iosevka-fixed-curly
|
30.0.1-1 |
1 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:22 (UTC) |
ttf-iosevka-fixed
|
30.0.1-1 |
2 |
0.00
|
Typeface family designed for coding, terminal use and technical documents. |
Markus00000
|
2024-05-11 14:22 (UTC) |
pcapfix
|
1.1.7-1 |
1 |
0.09
|
tries to repair your broken pcap and pcapng files |
marek22k
|
2024-01-23 19:46 (UTC) |
libfixbuf
|
3.0.0.alpha2-1 |
1 |
0.00
|
A compliant implementation of the IPFIX Protocol, (RFC 5101). |
marcs
|
2023-04-11 11:12 (UTC) |
perl-text-affixes
|
0.09-1 |
2 |
0.00
|
Prefixes and suffixes analysis of text |
marco44
|
2018-02-28 09:48 (UTC) |
permfix
|
0.2.1-1 |
0 |
0.00
|
Fix permissions.sqlite db to allow cookies for specified domains in Firefox. |
maltejur
|
2022-02-13 21:34 (UTC) |
dosbox-staging-git
|
0.82.0.alpha-1 |
4 |
0.28
|
A modernized DOSBox project using current development practices and tools, fixing issues, adding features that better support today's systems |
magamo
|
2023-12-26 16:18 (UTC) |
timeprefix
|
3.1-1 |
1 |
0.00
|
Prefix each line with the time it as written |
maandree
|
2023-07-01 06:19 (UTC) |
gnome-shell-extension-alt-tab-scroll-workaround
|
6-1 |
0 |
0.00
|
Temporary fix for a bug that buffers the scroll between different windows (e.g., Chrome and VS Code) |
lukaszmoroz
|
2023-11-29 01:41 (UTC) |
libkate-python3-git
|
0.4.1-6 |
1 |
0.00
|
A karaoke and text codec for embedding in ogg. With fixes and port to Python 3 of before broken KateDJ. |
lubosz
|
2020-02-07 18:36 (UTC) |
fvwm
|
2.7.0-5 |
11 |
0.00
|
Fvwm2 - a virtual window manager. Only gets serious bugfixes. New version is Fvwm3. |
lquidfire
|
2024-05-13 07:11 (UTC) |
bottles
|
2:51.11-2 |
130 |
4.55
|
Easily manage wine and proton prefix |
lotation
|
2024-03-12 21:39 (UTC) |
umu-launcher
|
0.1.RC4.r49.80579e5-1 |
4 |
2.68
|
This is the Unified Launcher for Windows Games on Linux, to run Proton with fixes outside of Steam |
loathingkernel
|
2024-05-14 15:04 (UTC) |
asus-n550jx-subwoofer-fix
|
0.1-1 |
0 |
0.00
|
Intel HDA driver fix for the ASUS N551JX laptop external subwoofer |
liudas
|
2015-12-28 10:09 (UTC) |
jre-jetbrains
|
17.0.10b1186.1-1 |
0 |
0.00
|
OpenJDK Java 17 runtime with some fixes and enhancements by JetBrains |
liljaylj
|
2024-02-14 17:41 (UTC) |
qlcplus-git
|
4.12.1.r126.g50b228e64-1 |
4 |
0.00
|
Q Light Controller Plus - The open DMX lighting desk software for controlling professional lighting fixtures. |
Leo_Verto
|
2019-08-15 03:08 (UTC) |
nvml-fix-git
|
r37.9be4552-1 |
2 |
0.00
|
A workaround for an annoying bug in the NVML library of nVidia 470 or older drivers. |
Lehmaning
|
2023-01-24 14:21 (UTC) |
glfw-wayland-minecraft-cursorfix
|
3.4-4 |
3 |
1.41
|
A free, open source, portable framework for graphical application development (wayland, patched for Minecraft) |
lea
|
2024-03-07 12:15 (UTC) |
protolint
|
0.49.6-1 |
0 |
0.00
|
A pluggable linter and fixer to enforce Protocol Buffer style and conventions |
laura7089
|
2024-04-16 18:04 (UTC) |
networkmanager-dmenu-bluetoothfix-git
|
r58.2770261-1 |
0 |
0.00
|
Control NetworkManager via dmenu (+fix to toggle bluetooth) |
lalelul
|
2021-02-10 18:02 (UTC) |
clac
|
0.3.1.r0.g99be7a4-1 |
3 |
0.00
|
A command line, stack-based calculator with postfix notation |
l3u
|
2018-01-06 03:54 (UTC) |
report-todo
|
1.0.1-1 |
0 |
0.00
|
Parse and report TODO, FIXME, BUG etc. comments in source code. |
kynikos
|
2020-03-10 12:17 (UTC) |