rpms/emacs-common-proofgeneral
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
55 commits 36 branches 12 tags 174 KiB

Default branch

rawhide

05ae0e337b · Reflow the description text · Updated 2026-01-12 03:36:45 +00:00
 ZIP  TAR.GZ

Branches

main

05ae0e337b · Reflow the description text · Updated 2026-01-12 03:36:45 +00:00    rpms

0
0
 Included
 ZIP  TAR.GZ
f43

b224d7f03f · Rebuild for emacs 30.2 · Updated 2025-09-05 16:50:36 +00:00    rpms

1
0
 Included
 ZIP  TAR.GZ
f42

fa4216784a · Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild · Updated 2025-01-16 16:51:05 +00:00    rpms

3
0
 Included
 ZIP  TAR.GZ
f41

f64fb4bf19 · Update to git head for prooftree 0.14 support · Updated 2024-09-29 15:20:11 +00:00    rpms

5
0
 Included
 ZIP  TAR.GZ
f40

6463fac8a5 · Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild · Updated 2024-01-24 10:18:51 +00:00    rpms

8
0
 Included
 ZIP  TAR.GZ
f39

2c800fbb71 · Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild · Updated 2023-07-19 18:23:59 +00:00    rpms

11
0
 Included
 ZIP  TAR.GZ
f38

4c4ca58482 · Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild · Updated 2023-01-19 02:15:20 +00:00    rpms

13
0
 Included
 ZIP  TAR.GZ
f37

9de8837f74 · Add patch to silence warnings about an overly long docstring · Updated 2022-11-19 21:53:40 +00:00    rpms

15
0
 Included
 ZIP  TAR.GZ
f36

e81b51976e · - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild · Updated 2022-01-20 01:51:22 +00:00    rpms

18
0
 Included
 ZIP  TAR.GZ
f35

77e32a9d03 · 13 Oct 2021 git snapshot for numerous updates and bug fixes. · Updated 2021-10-19 16:34:31 +00:00    rpms

19
0
 Included
 ZIP  TAR.GZ
f34

042f9595f9 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild · Updated 2021-01-26 04:29:58 +00:00    rpms

21
0
 Included
 ZIP  TAR.GZ
f33

654b2bd2ca · - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild · Updated 2020-07-27 16:28:51 +00:00    rpms

23
0
 Included
 ZIP  TAR.GZ
f32

667a7bbbe4 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild · Updated 2020-01-28 17:13:42 +00:00    rpms

25
0
 Included
 ZIP  TAR.GZ
f31

ae4b6c23bc · - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild · Updated 2019-07-24 23:23:56 +00:00    rpms

27
0
 Included
 ZIP  TAR.GZ
f30

7fe1491864 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild · Updated 2019-01-31 18:33:51 +00:00    rpms

28
0
 Included
 ZIP  TAR.GZ
f29

0091e24cfd · - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild · Updated 2018-07-12 23:48:30 +00:00    rpms

31
0
 Included
 ZIP  TAR.GZ
f28

c66c141045 · Install additional icon sizes. · Updated 2018-03-04 21:15:42 +00:00    rpms

32
0
 Included
 ZIP  TAR.GZ
f27

b6d72f1816 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild · Updated 2017-07-26 07:20:42 +00:00    rpms

35
0
 Included
 ZIP  TAR.GZ
f26

c594559350 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild · Updated 2017-02-10 09:08:43 +00:00    rpms

36
0
 Included
 ZIP  TAR.GZ
f25

5f60db1ff8 · Avoid appstream-util validate-relax failure. · Updated 2016-10-25 20:14:17 +00:00    rpms

38
0
 Included
 ZIP  TAR.GZ