mirror of
https://github.com/terrapkg/packages.git
synced 2026-06-10 05:37:36 +00:00
Compare commits
27 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
 Owen-sz
|
9009c35b6d | ||
|
Owen Zimmerman
|
d1529d4a09 | ||
|
Owen Zimmerman
|
9b091e8d7b | ||
|
Raboneko
|
a542f90133 | ||
|
Raboneko
|
83d00b374b | ||
|
Raboneko
|
735dd95e99 | ||
|
Raboneko
|
6a6420b9ec | ||
|
Raboneko
|
d1bbae5702 | ||
|
Raboneko
|
e6755af577 | ||
|
Raboneko
|
429bf69c73 | ||
|
Owen Zimmerman
|
8e351434cb | ||
|
Raboneko
|
486279cdf9 | ||
|
Raboneko
|
50bfd1e312 | ||
|
Raboneko
|
c6b604b733 | ||
|
Raboneko
|
c4f384ecbe | ||
|
Raboneko
|
f60e96810a | ||
|
Raboneko
|
07b62e72b3 | ||
|
Raboneko
|
e43a65c749 | ||
|
Raboneko
|
2c4d35c344 | ||
|
Raboneko
|
56ecf3c224 | ||
|
Raboneko
|
9c3402066a | ||
|
Hikari Hayashi
|
8213edf4bb | ||
|
Raboneko
|
d387408d5f | ||
|
Raboneko
|
21fbd7cfb0 | ||
|
Raboneko
|
30fa4501e9 | ||
|
Raboneko
|
7d8446c852 | ||
|
Pornpipat Popum
|
b2a7a8ff98 |
@@ -29,6 +29,7 @@ body:
|
||||
description: Which version of Terra are you using?
|
||||
options:
|
||||
- frawhide
|
||||
- f44
|
||||
- f43
|
||||
- f42
|
||||
- el10
|
||||
|
||||
@@ -6,7 +6,7 @@
|
||||
%global __provides_exclude_from %{_datadir}/%{name}/.*\\.so
|
||||
|
||||
Name: discord-canary-openasar
|
||||
Version: 1.0.991
|
||||
Version: 1.0.1002
|
||||
Release: 1%{?dist}
|
||||
Summary: A snappier Discord rewrite with features like further customization and theming
|
||||
License: MIT AND https://discord.com/terms
|
||||
|
||||
@@ -6,7 +6,7 @@
|
||||
%global __provides_exclude_from %{_datadir}/%{name}/.*\\.so
|
||||
|
||||
Name: discord-canary
|
||||
Version: 1.0.991
|
||||
Version: 1.0.1002
|
||||
Release: 1%{?dist}
|
||||
Summary: Free Voice and Text Chat for Gamers
|
||||
URL: discord.com
|
||||
|
||||
@@ -11,7 +11,7 @@
|
||||
%endif
|
||||
|
||||
Name: helium-browser-bin
|
||||
Version: 0.11.6.1
|
||||
Version: 0.11.7.1
|
||||
Release: 1%{?dist}
|
||||
Summary: Private, fast, and honest web browser based on Chromium
|
||||
|
||||
|
||||
@@ -1,9 +1,9 @@
|
||||
# Disable X11 for RHEL 10+
|
||||
%bcond x11 %[%{undefined rhel} || 0%{?rhel} < 10]
|
||||
|
||||
%global commit 3e3936eee4bd0c9cc6542c3cca313ac4d54846e0
|
||||
%global commit 5ebe9581d522d6592bcd664c331227e11d5d9f02
|
||||
%global shortcommit %(c=%{commit}; echo ${c:0:7})
|
||||
%global commit_date 20260429
|
||||
%global commit_date 20260430
|
||||
%global ver 0.41.0
|
||||
|
||||
Name: mpv-nightly
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
%global ver 2026-04-29
|
||||
%global ver 2026-04-30
|
||||
%global goodver %(echo %ver | sed 's/-//g')
|
||||
%global __brp_mangle_shebangs %{nil}
|
||||
%bcond_without mold
|
||||
|
||||
@@ -46,7 +46,7 @@ BuildRequires: python3-sdkmanager
|
||||
Requires: %{name}-server
|
||||
# Gradle here really wants Java 21-23 to work properly
|
||||
# Java 25 breaks the build
|
||||
BuildRequires: java-21-openjdk-devel
|
||||
BuildRequires: java-latest-openjdk-devel
|
||||
BuildConflicts: dkms-nvidia akmod-nvidia
|
||||
Requires: android-tools
|
||||
|
||||
|
||||
@@ -5,7 +5,7 @@
|
||||
%global crate mise
|
||||
|
||||
Name: rust-mise
|
||||
Version: 2026.4.26
|
||||
Version: 2026.4.28
|
||||
Release: 1%{?dist}
|
||||
Summary: Front-end to your dev env
|
||||
|
||||
|
||||
+2
-2
@@ -3,7 +3,7 @@
|
||||
|
||||
Name: gnome-shell-extension-%{extension}
|
||||
Version: 12
|
||||
Release: 3%?dist
|
||||
Release: 4%{?dist}
|
||||
Summary: GNOME Shell extension to bring back the app menu
|
||||
License: GPL-3.0-only
|
||||
URL: https://github.com/fthx/appmenu-is-back
|
||||
@@ -12,7 +12,7 @@ BuildArch: noarch
|
||||
|
||||
Source0: https://github.com/fthx/appmenu-is-back/archive/refs/tags/v%{version}.tar.gz
|
||||
|
||||
Requires: (gnome-shell >= 48~ with gnome-shell < 50~)
|
||||
Requires: gnome-shell >= 48~
|
||||
Recommends: gnome-extensions-app
|
||||
|
||||
%description
|
||||
|
||||
+2
-2
@@ -7,7 +7,7 @@
|
||||
|
||||
Name: gnome-shell-extension-%{extension}
|
||||
Version: 0~%{commit_date}git.%{shortcommit}
|
||||
Release: 2%?dist
|
||||
Release: 3%{?dist}
|
||||
Summary: Battery remaining time extension for GNOME Shell
|
||||
License: GPL-2.0-only
|
||||
URL: https://github.com/pomoke/battery_time
|
||||
@@ -18,7 +18,7 @@ Source0: %url/archive/%commit/battery_time-%commit.tar.gz
|
||||
# License declared in README
|
||||
Source1: https://scancode-licensedb.aboutcode.org/gpl-2.0.LICENSE
|
||||
|
||||
Requires: (gnome-shell >= 48~ with gnome-shell < 50~)
|
||||
Requires: gnome-shell >= 48~
|
||||
Recommends: gnome-extensions-app
|
||||
|
||||
Packager: Owen Zimmerman <owen@fyralabs.com>
|
||||
|
||||
+6
-2
@@ -7,18 +7,22 @@
|
||||
|
||||
Name: gnome-shell-extension-%{extension}
|
||||
Version: %ver^%commit_date.%shortcommit
|
||||
Release: 2%?dist
|
||||
Release: 3%{?dist}
|
||||
Summary: GPU Profile switcher Gnome-Shell-Extension for ASUS laptops using Supergfxctl
|
||||
License: GPL-3.0-only
|
||||
URL: https://github.com/chikobara/GPU-Switcher-Supergfxctl
|
||||
|
||||
Source0: %url/archive/%commit.tar.gz
|
||||
|
||||
Requires: (gnome-shell >= 48~ with gnome-shell < 50~) asusctl supergfxctl
|
||||
Requires: gnome-shell >= 48~
|
||||
Requires: asusctl
|
||||
Requires: supergfxctl
|
||||
Recommends: gnome-extensions-app
|
||||
|
||||
BuildArch: noarch
|
||||
|
||||
Packager: june-fish <june@fyralabs.com>
|
||||
|
||||
%description
|
||||
GPU Profile switcher Gnome-Shell-Extension for ASUS laptops using Supergfxctl
|
||||
|
||||
|
||||
+2
-2
@@ -3,7 +3,7 @@
|
||||
|
||||
Name: gnome-shell-extension-%{extension}
|
||||
Version: 10
|
||||
Release: 1%{?dist}
|
||||
Release: 2%{?dist}
|
||||
Summary: GNOME extension that removes the 'Window is ready' notification and brings the window into focus instead
|
||||
License: AGPL-3.0-only
|
||||
URL: https://github.com/zalckos/GrandTheftFocus
|
||||
@@ -12,7 +12,7 @@ BuildArch: noarch
|
||||
|
||||
Source0: https://github.com/zalckos/GrandTheftFocus/archive/refs/tags/v%version.tar.gz
|
||||
|
||||
Requires: (gnome-shell >= 48~ with gnome-shell < 50~)
|
||||
Requires: gnome-shell >= 48~
|
||||
Recommends: gnome-extensions-app
|
||||
|
||||
Packager: Owen Zimmerman <owen@fyralabs.com>
|
||||
|
||||
+2
-2
@@ -7,7 +7,7 @@
|
||||
|
||||
Name: gnome-shell-extension-%{extension}
|
||||
Version: 0~%{commit_date}git.%{shortcommit}
|
||||
Release: 1%{?dist}
|
||||
Release: 2%{?dist}
|
||||
Summary: Add multiple monitors overview and panel for GNOME Shell. This is an updated fork with GNOME 46 compatibility
|
||||
License: GPL-2.0-or-later
|
||||
URL: https://github.com/FrederykAbryan/multi-monitors-bar_fapv2
|
||||
@@ -17,7 +17,7 @@ BuildArch: noarch
|
||||
Source0: %url/archive/%commit/multi-monitors-bar_fapv2-%commit.tar.gz
|
||||
# README declared the license, but they do not provide a license file
|
||||
|
||||
Requires: (gnome-shell >= 48~ with gnome-shell < 50~)
|
||||
Requires: gnome-shell >= 48~
|
||||
Recommends: gnome-extensions-app
|
||||
|
||||
Packager: Owen Zimmerman <owen@fyralabs.com>
|
||||
|
||||
+2
-2
@@ -2,7 +2,7 @@
|
||||
|
||||
Name: gnome-shell-extension-vicinae
|
||||
Version: 1.6.1
|
||||
Release: 1%{?dist}
|
||||
Release: 2%{?dist}
|
||||
License: MIT
|
||||
URL: https://github.com/dagimg-dot/vicinae-gnome-extension
|
||||
Source: %{url}/archive/refs/tags/v%{version}.tar.gz
|
||||
@@ -12,7 +12,7 @@ Packager: metcya <metcya@gmail.com>
|
||||
BuildArch: noarch
|
||||
|
||||
BuildRequires: bun-bin glib2-devel
|
||||
Requires: (gnome-shell >= 48~ with gnome-shell < 50~)
|
||||
Requires: gnome-shell >= 48~
|
||||
Requires: vicinae
|
||||
Recommends: gnome-extensions-app
|
||||
Provides: gnome-shell-extension-vicinae-gnome-extension
|
||||
|
||||
@@ -1,10 +1,10 @@
|
||||
#? https://src.fedoraproject.org/rpms/hyprutils/blob/rawhide/f/hyprutils.spec
|
||||
|
||||
%global realname hyprutils
|
||||
%global ver 0.12.0
|
||||
%global ver 0.13.0
|
||||
|
||||
%global commit ee9ef3d43ed194cae1b55edb716a696a45c37b48
|
||||
%global commit_date 20260427
|
||||
%global commit ec5c0c709706bad5b82f667fd8758eae442577ce
|
||||
%global commit_date 20260430
|
||||
%global shortcommit %{sub %commit 1 7}
|
||||
|
||||
Name: %realname.nightly
|
||||
|
||||
@@ -16,7 +16,7 @@
|
||||
%global __requires_exclude ^libaaudio\\.so.*|^libandroid\\.so.*|^libmediandk\\.so.*|^liblog\\.so.*|^libc\\.so.*|^libm\\.so.*|^libdl\\.so.*|^libcrypt\\.so.*|^libstdc\\+\\+\\.so.*|^libncursesw\\.so.*|^libtinfo\\.so.*|^libnsl\\.so.*|^libpanelw\\.so.*$
|
||||
|
||||
Name: android-studio-canary
|
||||
Version: 2026.1.1.2
|
||||
Version: 2026.1.1.3
|
||||
Release: 1%{?dist}
|
||||
Summary: Official IDE for Android development (Canary build)
|
||||
License: Apache-2.0
|
||||
@@ -24,7 +24,7 @@ Packager: veuxit <erroor234@gmail.com>
|
||||
ExclusiveArch: x86_64
|
||||
URL: https://developer.android.com/studio/preview
|
||||
|
||||
%define suffixS quail1-canary2
|
||||
%define suffixS quail1-canary3
|
||||
|
||||
Source0: https://dl.google.com/dl/android/studio/ide-zips/%{version}/android-studio-%{suffixS}-linux.tar.gz
|
||||
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
Name: flutter
|
||||
Version: 3.41.8
|
||||
Version: 3.41.9
|
||||
Release: 1%{?dist}
|
||||
Summary: SDK for crafting beautiful, fast user experiences from a single codebase
|
||||
License: BSD-3-Clause
|
||||
|
||||
@@ -4,7 +4,7 @@ A hardware-accelerated terminal emulator focusing to run in desktops and browser
|
||||
%bcond docs 1
|
||||
|
||||
Name: rio
|
||||
Version: 0.3.11
|
||||
Version: 0.4.1
|
||||
Release: 1%{?dist}
|
||||
Summary: A hardware-accelerated terminal written in Rust.
|
||||
SourceLicense: MIT
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
%global commit 3014170d7e4dfbe8379beda4dec92d6256b41209
|
||||
%global commit 24f62484e936aa355c72f2009313bbe2898a9fd5
|
||||
%global shortcommit %(c=%{commit}; echo ${c:0:7})
|
||||
%global commit_date 20260429
|
||||
%global commit_date 20260430
|
||||
%global ver 1.2.0
|
||||
|
||||
%bcond_with check
|
||||
|
||||
@@ -5,7 +5,7 @@
|
||||
%global debug_package %{nil}
|
||||
%endif
|
||||
|
||||
%global ver 0.234.6-pre
|
||||
%global ver 1.1.2-pre
|
||||
# Exclude input files from mangling
|
||||
%global __brp_mangle_shebangs_exclude_from ^/usr/src/.*$
|
||||
|
||||
|
||||
@@ -15,7 +15,7 @@
|
||||
%global rustflags_debuginfo 0
|
||||
|
||||
Name: zed
|
||||
Version: 0.233.10
|
||||
Version: 1.0.0
|
||||
Release: 1%{?dist}
|
||||
Summary: Zed is a high-performance, multiplayer code editor
|
||||
SourceLicense: AGPL-3.0-only AND Apache-2.0 AND GPL-3.0-or-later
|
||||
|
||||
@@ -0,0 +1,17 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<!DOCTYPE fontconfig SYSTEM "urn:fontconfig:fonts.dtd">
|
||||
<!-- SPDX-License-Identifier: MIT -->
|
||||
<fontconfig>
|
||||
<alias>
|
||||
<family>Inter Variable</family>
|
||||
<default>
|
||||
<family>sans-serif</family>
|
||||
</default>
|
||||
</alias>
|
||||
<alias>
|
||||
<family>sans-serif</family>
|
||||
<prefer>
|
||||
<family>Inter Variable</family>
|
||||
</prefer>
|
||||
</alias>
|
||||
</fontconfig>
|
||||
@@ -0,0 +1,23 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<!DOCTYPE fontconfig SYSTEM "urn:fontconfig:fonts.dtd">
|
||||
<!-- SPDX-License-Identifier: MIT -->
|
||||
<fontconfig>
|
||||
<alias>
|
||||
<family>Inter</family>
|
||||
<default>
|
||||
<family>sans-serif</family>
|
||||
</default>
|
||||
</alias>
|
||||
<alias>
|
||||
<family>Inter Display</family>
|
||||
<default>
|
||||
<family>sans-serif</family>
|
||||
</default>
|
||||
</alias>
|
||||
<alias>
|
||||
<family>sans-serif</family>
|
||||
<prefer>
|
||||
<family>Inter</family>
|
||||
</prefer>
|
||||
</alias>
|
||||
</fontconfig>
|
||||
@@ -0,0 +1,9 @@
|
||||
project pkg {
|
||||
arches = ["x86_64"]
|
||||
rpm {
|
||||
spec = "rsms-inter-fonts.spec"
|
||||
}
|
||||
labels {
|
||||
subrepo = "extras"
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,123 @@
|
||||
Version: 4.1
|
||||
Release: 3%{?dist}
|
||||
URL: https://rsms.me/inter/
|
||||
|
||||
%global common_description %{expand:Inter is a typeface specially designed for user interfaces with focus on high
|
||||
legibility of small-to-medium sized text on computer screens.
|
||||
|
||||
The family features a tall x-height to aid in readability of mixed-case and
|
||||
lower-case text. Several OpenType features are provided as well, like contextual
|
||||
alternates that adjusts punctuation depending on the shape of surrounding
|
||||
glyphs, slashed zero for when you need to disambiguate "0" from "o", tabular
|
||||
numbers, etc.}
|
||||
|
||||
%global foundry rsms
|
||||
%global fontlicense OFL-1.1
|
||||
%global fontlicenses LICENSE.txt
|
||||
%global fontdocsex %{fontlicenses}
|
||||
|
||||
%global fontfamily0 Inter
|
||||
%global fontsummary0 The Inter font family
|
||||
%global fonts0 extras/ttf/*.ttf
|
||||
%global fontconfs0 %{SOURCE10}
|
||||
%global fontdescription0 %{expand:%{common_description}
|
||||
|
||||
This package contains the non-variable font version of the Inter font.}
|
||||
|
||||
%global fontfamily1 Inter-VF
|
||||
%global fontsummary1 The Inter font family (variable)
|
||||
%global fonts1 Inter*.ttf
|
||||
%global fontconfs1 %{SOURCE11}
|
||||
%global fontdescription1 %{expand:%{common_description}
|
||||
|
||||
This package contains the variable font version of the Inter font.}
|
||||
|
||||
Source0: https://github.com/rsms/inter/releases/download/v%{version}/inter-%{version}.zip
|
||||
Source10: 63-rsms-inter.conf
|
||||
Source11: 63-rsms-inter-vf.conf
|
||||
|
||||
Packager: Owen Zimmerman <owen@fyralabs.com>
|
||||
|
||||
%fontpkg -a
|
||||
|
||||
|
||||
%prep
|
||||
%autosetup -c
|
||||
|
||||
|
||||
%build
|
||||
%fontbuild -a
|
||||
|
||||
|
||||
%install
|
||||
%fontinstall -a
|
||||
|
||||
|
||||
%check
|
||||
%fontcheck -a
|
||||
|
||||
|
||||
%fontfiles -a
|
||||
|
||||
|
||||
%changelog
|
||||
* Thu Apr 30 2026 Owen Zimmerman <owen@fyralabs.com>
|
||||
- Port to Terra from Fedora
|
||||
|
||||
* Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.1-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
|
||||
|
||||
* Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.1-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
|
||||
|
||||
* Sat Jan 25 2025 Mohamed El Morabity <melmorabity@fedoraproject.org> - 4.1-1
|
||||
- Update to 4.1
|
||||
|
||||
* Sat Jan 18 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.0-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
|
||||
|
||||
* Fri Jul 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.0-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
|
||||
|
||||
* Fri Jan 26 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.0-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
|
||||
|
||||
* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.0-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
|
||||
|
||||
* Thu Nov 23 2023 Mohamed El Morabity <melmorabity@fedoraproject.org> - 4.0-1
|
||||
- Update to 4.0
|
||||
- Add subpackage for variable fonts
|
||||
|
||||
* Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 3.19-7
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
||||
|
||||
* Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 3.19-6
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
||||
|
||||
* Tue Oct 04 2022 Mohamed El Morabity <melmorabity@fedoraproject.org> - 3.19-5
|
||||
- Package hinted TrueType fonts instead of Type 1 OTF fonts (RHBZ #2122246)
|
||||
|
||||
* Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 3.19-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
||||
|
||||
* Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 3.19-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
||||
|
||||
* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 3.19-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
||||
|
||||
* Sat Jun 19 2021 Mohamed El Morabity <melmorabity@fedoraproject.org> - 3.19-1
|
||||
- Update to 3.19
|
||||
|
||||
* Thu Apr 01 2021 Mohamed El Morabity <melmorabity@fedoraproject.org> - 3.18-1
|
||||
- Update to 3.18
|
||||
|
||||
* Tue Mar 30 2021 Mohamed El Morabity <melmorabity@fedoraproject.org> - 3.17-1
|
||||
- Update to 3.17
|
||||
|
||||
* Mon Mar 29 2021 Mohamed El Morabity <melmorabity@fedoraproject.org> - 3.16-1
|
||||
- Update to 3.16
|
||||
|
||||
* Thu Dec 24 2020 Mohamed El Morabity <melmorabity@fedoraproject.org> - 3.15-1
|
||||
- Initial RPM release
|
||||
@@ -0,0 +1 @@
|
||||
rpm.version(gh("rsms/inter"));
|
||||
@@ -9,8 +9,8 @@
|
||||
# GLIBCXX_ASSERTIONS is known to break RPCS3
|
||||
%global build_cflags %(echo "%{__build_flags_lang_c}" | sed 's|-Wp,-D_GLIBCXX_ASSERTIONS ||g') %{?_distro_extra_cflags}
|
||||
%global build_cxxflags %(echo "%{__build_flags_lang_cxx}" | sed 's|-Wp,-D_GLIBCXX_ASSERTIONS ||g') %{?_distro_extra_cflags}
|
||||
%global commit b212935c702d228b29bbacf11f6fe02e86b655d8
|
||||
%global ver 0.0.40-19262
|
||||
%global commit c25e3e33acdcf0e62f8b52a201e5c189fbba5b16
|
||||
%global ver 0.0.40-19294
|
||||
|
||||
Name: rpcs3
|
||||
Version: %(echo %{ver} | sed 's/-/^/g')
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
Name: steamos-manager
|
||||
Version: 26.0.1
|
||||
Release: 1%?dist
|
||||
Version: 26.1.0
|
||||
Release: 1%{?dist}
|
||||
Summary: SteamOS Manager is a system daemon that aims to abstract Steam's interactions with the operating system.
|
||||
License: MIT AND (MIT OR Apache-2.0) AND Unicode-3.0 AND Apache-2.0 OR BSL-1.0 AND Apache-2.0 OR MIT AND Apache-2.0 WITH LLVM-exception OR Apache-2.0 OR MIT AND BSD-3-Clause OR MIT OR Apache-2.0 AND ISC AND LGPL-2.1 OR MIT OR Apache-2.0 AND MIT AND MIT OR Apache-2.0 AND MIT OR Apache-2.0 OR LGPL-2.1-or-later AND Unlicense OR MIT AND Zlib OR Apache-2.0 OR MIT
|
||||
URL: https://gitlab.steamos.cloud/holo/steamos-manager
|
||||
|
||||
@@ -2,7 +2,7 @@
|
||||
%global bootstrap_version 1.17.1
|
||||
|
||||
Name: crystal
|
||||
Version: 1.20.0
|
||||
Version: 1.20.1
|
||||
Release: 1%{?dist}
|
||||
Summary: A general-purpose, object-oriented programming language
|
||||
License: Apache-2.0
|
||||
|
||||
@@ -0,0 +1,5 @@
|
||||
project pkg {
|
||||
rpm {
|
||||
spec = "ghc-libriscv.spec"
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,13 @@
|
||||
diff --git a/libriscv.cabal b/libriscv.cabal
|
||||
index 25e48fa..22e204a 100644
|
||||
--- a/libriscv.cabal
|
||||
+++ b/libriscv.cabal
|
||||
@@ -91,7 +91,7 @@ library
|
||||
, base >= 4.15.0.0 && <4.20.0.0
|
||||
, array ^>= 0.5.4.0
|
||||
, filepath ^>= 1.4.2.1
|
||||
- , bytestring >= 0.10.10 && <0.12
|
||||
+ , bytestring >= 0.10.10
|
||||
, exceptions ^>= 0.10.4
|
||||
, melf ^>= 1.3.0
|
||||
, freer-simple ^>= 1.2.1.2
|
||||
@@ -0,0 +1,166 @@
|
||||
# generated by cabal-rpm-2.3.2
|
||||
# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
|
||||
|
||||
%global pkg_name libriscv
|
||||
%global pkgver %{pkg_name}-%{version}
|
||||
%{?haskell_setup}
|
||||
|
||||
# testsuite missing deps: bv tasty tasty-hunit
|
||||
|
||||
Name: ghc-%{pkg_name}
|
||||
Version: 0.1.0.0
|
||||
Release: 1%{?dist}
|
||||
Summary: A versatile, flexible and executable formal model for the RISC-V architecture
|
||||
|
||||
License: MIT
|
||||
URL: https://hackage.haskell.org/package/libriscv
|
||||
# Begin cabal-rpm sources:
|
||||
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
||||
# End cabal-rpm sources
|
||||
Patch0: bytestring-ver-fix.patch
|
||||
# Begin cabal-rpm deps:
|
||||
BuildRequires: ghc-rpm-macros
|
||||
BuildRequires: ghc-Cabal-devel
|
||||
BuildRequires: ghc-array-devel
|
||||
BuildRequires: ghc-base-devel
|
||||
BuildRequires: ghc-bv-devel
|
||||
BuildRequires: ghc-bytestring-devel
|
||||
BuildRequires: ghc-containers-devel
|
||||
BuildRequires: ghc-exceptions-devel
|
||||
BuildRequires: ghc-extra-devel
|
||||
BuildRequires: ghc-file-embed-devel
|
||||
BuildRequires: ghc-filepath-devel
|
||||
BuildRequires: ghc-freer-simple-devel
|
||||
BuildRequires: ghc-melf-devel
|
||||
BuildRequires: ghc-optparse-applicative-devel
|
||||
BuildRequires: ghc-parameterized-utils-devel
|
||||
BuildRequires: ghc-template-haskell-devel
|
||||
BuildRequires: ghc-transformers-devel
|
||||
BuildRequires: ghc-yaml-devel
|
||||
%if %{with ghc_prof}
|
||||
BuildRequires: ghc-array-prof
|
||||
BuildRequires: ghc-base-prof
|
||||
BuildRequires: ghc-bv-prof
|
||||
BuildRequires: ghc-bytestring-prof
|
||||
BuildRequires: ghc-containers-prof
|
||||
BuildRequires: ghc-exceptions-prof
|
||||
BuildRequires: ghc-extra-prof
|
||||
BuildRequires: ghc-file-embed-prof
|
||||
BuildRequires: ghc-filepath-prof
|
||||
BuildRequires: ghc-freer-simple-prof
|
||||
BuildRequires: ghc-melf-prof
|
||||
BuildRequires: ghc-optparse-applicative-prof
|
||||
BuildRequires: ghc-parameterized-utils-prof
|
||||
BuildRequires: ghc-template-haskell-prof
|
||||
BuildRequires: ghc-transformers-prof
|
||||
BuildRequires: ghc-yaml-prof
|
||||
%endif
|
||||
# End cabal-rpm deps
|
||||
|
||||
Packager: Owen Zimmerman <owen@fyralabs.com>
|
||||
|
||||
%description
|
||||
A formal model for the <https://riscv.org/ RISC-V> /Instruction Set
|
||||
Architecture/ (ISA). Contrary to other Haskell RISC-V ISA models, like
|
||||
<https://github.com/GaloisInc/grift GRIFT> or
|
||||
<https://github.com/mit-plv/riscv-semantics riscv-semantics>, LibRISCV is
|
||||
specifically tailored to the creation of custom ISA interpreters. To this end,
|
||||
it is designed for flexibility, allowing a versatile representation of
|
||||
instruction operands. For example, instruction operands can be
|
||||
<https://en.wikipedia.org/wiki/Satisfiability_modulo_theories SMT> expressions
|
||||
for <https://doi.org/10.48550/arXiv.2404.04132 symbolic execution> of binary
|
||||
code.
|
||||
|
||||
LibRISCV abstractly describes instruction semantics using an /Embedded Domain
|
||||
Specific Language/ (EDSL) with <https://doi.org/10.1145/2887747.2804319 free(r)
|
||||
monads>. This Haskell library is intended to build custom interpreters for this
|
||||
free monad. The entry point for this purpose is the
|
||||
'LibRISCV.Semantics.buildAST' function which obtains the free monad AST based
|
||||
on an entry address. The entry address can be obtained from a provided ELF
|
||||
loader implementation, this "Loader" module is also responsible for loading
|
||||
binary instructions into a provided memory implementation. Refer to provided
|
||||
example interpreters in the <https://github.com/agra-uni-bremen/libriscv GitHub
|
||||
repository> for practical usage instruction. More detailed information on
|
||||
LibRISCV and its concepts is also available in a
|
||||
<https://doi.org/10.1007/978-3-031-38938-2_2 TFP'23 publication>.
|
||||
|
||||
|
||||
%package devel
|
||||
Summary: Haskell %{pkg_name} library development files
|
||||
Provides: %{name}-static = %{version}-%{release}
|
||||
Provides: %{name}-static%{?_isa} = %{version}-%{release}
|
||||
%if %{defined ghc_version}
|
||||
Requires: ghc-compiler = %{ghc_version}
|
||||
%endif
|
||||
Requires: %{name}%{?_isa} = %{version}-%{release}
|
||||
|
||||
%description devel
|
||||
This package provides the Haskell %{pkg_name} library development files.
|
||||
|
||||
|
||||
%if %{with haddock}
|
||||
%package doc
|
||||
Summary: Haskell %{pkg_name} library documentation
|
||||
BuildArch: noarch
|
||||
Requires: ghc-filesystem
|
||||
|
||||
%description doc
|
||||
This package provides the Haskell %{pkg_name} library documentation.
|
||||
%endif
|
||||
|
||||
|
||||
%if %{with ghc_prof}
|
||||
%package prof
|
||||
Summary: Haskell %{pkg_name} profiling library
|
||||
Requires: %{name}-devel%{?_isa} = %{version}-%{release}
|
||||
Supplements: (%{name}-devel and ghc-prof)
|
||||
|
||||
%description prof
|
||||
This package provides the Haskell %{pkg_name} profiling library.
|
||||
%endif
|
||||
|
||||
|
||||
%prep
|
||||
# Begin cabal-rpm setup:
|
||||
%setup -q -n %{pkgver}
|
||||
%patch -P0 -p1
|
||||
# End cabal-rpm setup
|
||||
|
||||
|
||||
%build
|
||||
# Begin cabal-rpm build:
|
||||
%ghc_lib_build
|
||||
# End cabal-rpm build
|
||||
|
||||
|
||||
%install
|
||||
# Begin cabal-rpm install
|
||||
%ghc_lib_install
|
||||
# End cabal-rpm install
|
||||
|
||||
|
||||
%files -f %{name}.files
|
||||
# Begin cabal-rpm files:
|
||||
%license LICENSE.txt
|
||||
%{_datadir}/%{pkgver}
|
||||
# End cabal-rpm files
|
||||
|
||||
|
||||
%files devel -f %{name}-devel.files
|
||||
%{_bindir}/riscv-tiny
|
||||
|
||||
|
||||
%if %{with haddock}
|
||||
%files doc -f %{name}-doc.files
|
||||
%license LICENSE.txt
|
||||
%endif
|
||||
|
||||
|
||||
%if %{with ghc_prof}
|
||||
%files prof -f %{name}-prof.files
|
||||
%endif
|
||||
|
||||
|
||||
%changelog
|
||||
* Tue Apr 28 2026 Owen Zimmerman <owen@fyralabs.com> - 0.1.0.0-1
|
||||
- Initial commit
|
||||
@@ -0,0 +1 @@
|
||||
rpm.version(hackage("libriscv"));
|
||||
@@ -2,7 +2,7 @@
|
||||
%global _desc Send usage data from your Python code to PostHog.
|
||||
|
||||
Name: python-%{pypi_name}
|
||||
Version: 7.13.1
|
||||
Version: 7.13.2
|
||||
Release: 1%{?dist}
|
||||
Summary: Send usage data from your Python code to PostHog
|
||||
License: MIT
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
%undefine __brp_mangle_shebangs
|
||||
|
||||
Name: fresh
|
||||
Version: 0.3.1
|
||||
Version: 0.3.2
|
||||
Release: 1%{?dist}
|
||||
Summary: Text editor for your terminal: easy, powerful and fast
|
||||
URL: https://getfresh.dev
|
||||
|
||||
@@ -11,8 +11,6 @@ Summary: Minimal, blazing-fast, and infinitely customizable prompt for an
|
||||
License: ISC
|
||||
URL: https://crates.io/crates/starship
|
||||
Source: %{crates_source}
|
||||
# Automatically generated patch to strip dependencies and normalize metadata
|
||||
Patch: starship-fix-metadata-auto.diff
|
||||
|
||||
BuildRequires: cargo-rpm-macros >= 24
|
||||
BuildRequires: anda-srpm-macros
|
||||
|
||||
@@ -1,29 +0,0 @@
|
||||
--- a/Cargo.toml 2025-04-27 10:52:14.000000000 -0500
|
||||
+++ b/Cargo.toml 2025-04-27 12:39:59.385400385 -0500
|
||||
@@ -265,22 +265,6 @@
|
||||
]
|
||||
default-features = false
|
||||
|
||||
-[target."cfg(windows)".dependencies.deelevate]
|
||||
-version = "0.2.0"
|
||||
-
|
||||
-[target."cfg(windows)".dependencies.windows]
|
||||
-version = "0.61.0"
|
||||
-features = [
|
||||
- "Win32_Foundation",
|
||||
- "Win32_UI_Shell",
|
||||
- "Win32_Security",
|
||||
- "Win32_System_Threading",
|
||||
- "Win32_Storage_FileSystem",
|
||||
-]
|
||||
-
|
||||
-[target."cfg(windows)".build-dependencies.winres]
|
||||
-version = "0.1.12"
|
||||
-
|
||||
[profile.bench]
|
||||
lto = "thin"
|
||||
codegen-units = 16
|
||||
[dev-dependencies]
|
||||
mockall = "0.13.1"
|
||||
tempfile = "3.19.1"
|
||||
|
||||
@@ -5,7 +5,7 @@
|
||||
%global cuda_version 13
|
||||
|
||||
Name: libcusparselt
|
||||
Version: 0.9.0.3
|
||||
Version: 0.9.1.1
|
||||
Release: 1%{?dist}
|
||||
Summary: CUDA Library for Sparse Matrix-Matrix Multiplication
|
||||
License: NVIDIA License
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
%global ver v3.0.0-alpha.78
|
||||
%global ver v3.0.0-alpha.81
|
||||
%global sanitized_ver %(echo %{ver} | sed 's/-/~/g')
|
||||
|
||||
%global goipath github.com/wailsapp/wails/v3
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
%global commit 3add875abbe48c5a18f1a029af61ef3058c6831d
|
||||
%global commit 239d4bc7d41dfd982d8ddf60050c384e6138f35b
|
||||
%global shortcommit %(c=%{commit}; echo ${c:0:7})
|
||||
%global ver 20260428063148
|
||||
%global commit_date 20260429
|
||||
%global ver 20260429071553
|
||||
%global commit_date 20260430
|
||||
|
||||
Name: v2ray-domain-list-community
|
||||
Version: %{ver}^%{commit_date}git.%{shortcommit}
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
%global commit c2bc58b0de655b637041f119239f3dbaa3af9bb0
|
||||
%global commit 3982891140cd54cbb6c7424cd6b71a68afe00c8e
|
||||
%global shortcommit %{sub %{commit} 1 7}
|
||||
%global commit_date 20260427
|
||||
%global commit_date 20260429
|
||||
|
||||
Name: vgmstream
|
||||
Version: 0~%{commit_date}git.%shortcommit
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
%global commit 389257964b10a0968bc6c0e8ea7a5a7a853aab52
|
||||
%global commit_date 20260429
|
||||
%global commit 87ffc620e44c888b63ad1d9daf358ec8fa46fa7b
|
||||
%global commit_date 20260430
|
||||
%global shortcommit %(c=%{commit}; echo ${c:0:7})
|
||||
|
||||
Name: cloud-hypervisor-nightly
|
||||
|
||||
@@ -7,8 +7,8 @@
|
||||
%global debug_package %{nil}
|
||||
%endif
|
||||
|
||||
%global commit 8c41af72604cef3676800c32ae19299d9b37348a
|
||||
%global commitdate 20260429
|
||||
%global commit df7f1494f3bd584b8650304be7a37eca4bb49aa5
|
||||
%global commitdate 20260430
|
||||
%global shortcommit %(c=%{commit}; echo ${c:0:7})
|
||||
%global modulename logitech-rs50-linux-driver
|
||||
|
||||
|
||||
@@ -1,8 +1,8 @@
|
||||
%global commit 8c41af72604cef3676800c32ae19299d9b37348a
|
||||
%global commit df7f1494f3bd584b8650304be7a37eca4bb49aa5
|
||||
%global debug_package %{nil}
|
||||
%global modulename logitech-rs50-linux-driver
|
||||
%global shortcommit %(c=%{commit}; echo ${c:0:7})
|
||||
%global commitdate 20260429
|
||||
%global commitdate 20260430
|
||||
|
||||
Name: dkms-%{modulename}
|
||||
Version: 1.0^%{commitdate}git.%{shortcommit}
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
%global commit 8c41af72604cef3676800c32ae19299d9b37348a
|
||||
%global commit df7f1494f3bd584b8650304be7a37eca4bb49aa5
|
||||
%global shortcommit %(c=%{commit}; echo ${c:0:7})
|
||||
%global commitdate 20260429
|
||||
%global commitdate 20260430
|
||||
|
||||
Name: logitech-rs50-linux-driver
|
||||
Version: 1.0^%{commitdate}git.%{shortcommit}
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
%global debug_package %{nil}
|
||||
%global commit 80e48e9346beb9407734a090d33c5e79e9113b01
|
||||
%global commit 2c99bc1e67bfb6a490b3c4f95275f09c049be5c0
|
||||
%global shortcommit %(c=%{commit}; echo ${c:0:7})
|
||||
%global commit_date 20260404
|
||||
%global commit_date 20260430
|
||||
|
||||
|
||||
%global patches %{_datadir}/src/nvidia-patch
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
%global commit 128ee0dd5ce15e9660115552b7f11db4597b7546
|
||||
%global commit d9c3b7deedff370bfc45d079b2387a8fd880fce4
|
||||
%global shortcommit %(c=%{commit}; echo ${c:0:7})
|
||||
%global commit_date 20260429
|
||||
%global commit_date 20260430
|
||||
%global ver 0.6.7
|
||||
|
||||
# We aren't using Mono but RPM expected Mono
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
%global commit b7d935299db974adb46f9711d326f063d0189671
|
||||
%global commit 80a752fff261779faf377f17dfd37c70f5a80c44
|
||||
%global shortcommit %(c=%{commit}; echo ${c:0:7})
|
||||
%global commitdate 20260428
|
||||
%global commitdate 20260430
|
||||
%global ver 1.1.0
|
||||
%undefine __brp_mangle_shebangs
|
||||
|
||||
|
||||
@@ -8,7 +8,7 @@ This build actually enables caching to remote storage.}
|
||||
%bcond dist %["%{_target_cpu}" == "x86_64"]
|
||||
|
||||
Name: terra-sccache
|
||||
Version: 0.14.0
|
||||
Version: 0.15.0
|
||||
Release: 1%{?dist}
|
||||
Summary: Remote caching enabled builds of sccache
|
||||
SourceLicense: Apache-2.0 AND (Apache-2.0 OR MIT)
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
%global goipath github.com/arduino/arduino-app-cli
|
||||
Version: 0.8.4
|
||||
Version: 0.9.0
|
||||
|
||||
%gometa -f
|
||||
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
%define debug_package %{nil}
|
||||
|
||||
%global goipath github.com/carapace-sh/carapace-bin
|
||||
Version: 1.6.4
|
||||
Version: 1.6.5
|
||||
|
||||
%gometa -f
|
||||
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
Name: terra-chafa
|
||||
Version: 1.18.1
|
||||
Release: 1%?dist
|
||||
Version: 1.18.2
|
||||
Release: 1%{?dist}
|
||||
Summary: Terminal graphics for the 21st century
|
||||
License: LGPL-3.0-or-later AND GPL-3.0-or-later
|
||||
URL: https://hpjansson.org/chafa/
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
%global goipath github.com/surge-downloader/surge
|
||||
Version: 0.8.3
|
||||
Version: 0.8.4
|
||||
|
||||
%gometa
|
||||
|
||||
|
||||
@@ -2,8 +2,8 @@
|
||||
%undefine __brp_mangle_shebangs
|
||||
|
||||
Name: rust-tauri
|
||||
Version: 2.10.1
|
||||
Release: 1%?dist
|
||||
Version: 2.11.0
|
||||
Release: 1%{?dist}
|
||||
Summary: Command line interface for building Tauri apps
|
||||
License: Apache-2.0 OR MIT
|
||||
URL: https://crates.io/crates/create-tauri-app
|
||||
|
||||
@@ -2,7 +2,7 @@
|
||||
%define debug_package %{nil}
|
||||
|
||||
Name: typos
|
||||
Version: 1.45.2
|
||||
Version: 1.46.0
|
||||
Release: 1%{?dist}
|
||||
Summary: Source Code Spelling Correction
|
||||
|
||||
|
||||
Reference in New Issue
Block a user