rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
45 commits 29 branches 0 tags 73 KiB
Commit graph

45 commits

This branch
This branch
All branches
Author SHA1 Message Date
Jens Petersen
a68f6b74d1 rebuild against Agda-2.6.2.2 2022-06-21 09:49:47 +08:00
Jens Petersen
0edd850746 update to 1.7.1 2022-03-09 22:35:57 +08:00
Fedora Release Engineering
f283aec79a - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-01-19 19:12:50 +00:00
Jens Petersen
0efab68751 exclude armv7hl 2021-08-09 20:04:06 +08:00
Jens Petersen
95393059a9 update to 1.7 2021-08-09 20:04:03 +08:00
Fedora Release Engineering
384fc9e25e - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 15:38:27 +00:00
Fedora Release Engineering
580b242b2f - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 10:44:02 +00:00
Fedora Release Engineering
f0832c6a1c - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-01-25 22:15:36 +00:00
Jens Petersen
c7c6fe2383 include _build/ for .agdai files; move Everything/README to docs 2020-08-24 19:56:51 +08:00
Fedora Release Engineering
6eb668f239 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-07-27 10:12:40 +00:00
Jens Petersen
cad8a31f37 make package noarch since Agda now builds on armv7hl 2020-07-20 13:27:44 +08:00
Jens Petersen
538d3cabe0 update to 1.3 2020-07-19 23:30:46 +08:00
Jens Petersen
474862f3fe requires Agda instead of ghc-Agda now 2020-05-27 01:25:35 +08:00
Jens Petersen
60694d6f97 update to 1.2 release 2020-05-27 01:24:43 +08:00
Fedora Release Engineering
011ee61369 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-01-28 09:10:55 +00:00
Jens Petersen
ed74755a2e add upstream issue link 2019-08-20 22:26:46 +02:00
Jens Petersen
8fd75963da use AGDA_DIR instead of HOME to ignore ~/.agda/ defaults 2019-08-20 22:22:49 +02:00
Jens Petersen
da1e6e0f1c update to 1.1 2019-08-17 12:11:06 +02:00
Fedora Release Engineering
55c0e83328 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-07-24 15:39:40 +00:00
Jens Petersen
dc5818e4df update to 0.17 2019-02-25 10:52:33 +08:00
Fedora Release Engineering
053b2eb0d1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-01-31 11:22:22 +00:00
Igor Gnatenko
034284fc35 Remove obsolete Group tag 
Signed-off-by: Igor Gnatenko <ignatenkobrain@fedoraproject.org>
 2019-01-28 20:17:38 +01:00
Jens Petersen
6fa5d455ee require ghc-Agda and keep README*.agdai 2018-08-29 01:39:53 +09:00
Jens Petersen
262553a3a6 install library files correctly under src/ 2018-08-22 23:07:57 +02:00
Fedora Release Engineering
6b177a1c91 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-07-12 18:54:37 +00:00
Jens Petersen
ea1ad25e63 update to 0.15 2018-07-01 17:45:39 +09:00
Fedora Release Engineering
4c8ea3035a - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-02-07 00:24:32 +00:00
Fedora Release Engineering
a91c8b4fc8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild 2017-08-02 16:46:47 +00:00
Fedora Release Engineering
100b259245 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-26 01:38:52 +00:00
Jens Petersen
f826a57692 put a github # source url 2017-03-19 23:41:17 +08:00
Jens Petersen
9c807f8c02 BR filemanip and more cleanup 2017-03-12 22:58:46 +09:00
Jens Petersen
df36dcd1df update to 0.13 2017-03-12 22:22:32 +09:00
Fedora Release Engineering
b85b9d0968 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-10 04:59:04 +00:00
Jens Petersen
949a1ec0ea update to 0.11 2016-10-24 17:40:17 +09:00
Jens Petersen
ed310a0ca7 drop %ghc_arches_with_ghci 2016-03-07 22:53:09 +09:00
Dennis Gilmore
efc162578c - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-03 15:19:04 +00:00
Dennis Gilmore
cf73a92b37 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild 2015-06-16 22:41:06 +00:00
Jens Petersen
001ba0471e move ffi lib into main package 2015-04-17 15:40:44 +09:00
Jens Petersen
7bb5a0ef9e BR unix-compat for filemanip 2015-04-17 13:17:28 +09:00
Jens Petersen
12fcba20ad update to 0.9 2015-04-17 11:43:00 +09:00
Peter Robinson
f191f9a56c - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild 2014-08-15 18:10:34 +00:00
Dennis Gilmore
1fdd505653 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild 2014-06-06 17:21:59 -05:00
Jens Petersen
357e012495 no ghc-rpm-macros-extra on F19 2014-02-12 15:07:48 +09:00
Jens Petersen
3a702b0086 import (#839260) 2014-02-12 15:07:06 +09:00
Fedora Release Engineering
dfb65bb6a0 Initial setup of the repo 2014-02-10 13:19:37 +00:00