Jens Petersen
|
52f1ede6b8
|
https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md
|
2025-08-11 17:35:31 +08:00 |
|
Jens Petersen
|
f703605e37
|
update to 2.1.1 with Agda-2.7.0.1
fixup README building html/check:
https://github.com/agda/agda-stdlib/issues/2697
|
2025-04-14 20:34:48 +08:00 |
|
Jens Petersen
|
134609802c
|
update to 1.7.3 for Agda 2.6.4
https://github.com/agda/agda-stdlib/blob/v1.7.3/CHANGELOG.md
Agda no longer build on i686
|
2023-10-17 00:39:00 +08:00 |
|
Jens Petersen
|
ed3cf90519
|
https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md
|
2023-07-28 12:03:20 +08:00 |
|
Jens Petersen
|
0edd850746
|
update to 1.7.1
|
2022-03-09 22:35:57 +08:00 |
|
Jens Petersen
|
95393059a9
|
update to 1.7
|
2021-08-09 20:04:03 +08:00 |
|
Jens Petersen
|
538d3cabe0
|
update to 1.3
|
2020-07-19 23:30:46 +08:00 |
|
Jens Petersen
|
60694d6f97
|
update to 1.2 release
|
2020-05-27 01:24:43 +08:00 |
|
Jens Petersen
|
da1e6e0f1c
|
update to 1.1
|
2019-08-17 12:11:06 +02:00 |
|
Jens Petersen
|
dc5818e4df
|
update to 0.17
|
2019-02-25 10:52:33 +08:00 |
|
Jens Petersen
|
ea1ad25e63
|
update to 0.15
|
2018-07-01 17:45:39 +09:00 |
|
Jens Petersen
|
df36dcd1df
|
update to 0.13
|
2017-03-12 22:22:32 +09:00 |
|
Jens Petersen
|
949a1ec0ea
|
update to 0.11
|
2016-10-24 17:40:17 +09:00 |
|
Jens Petersen
|
12fcba20ad
|
update to 0.9
|
2015-04-17 11:43:00 +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 |
|