aboutsummaryrefslogtreecommitdiff
path: root/math/rumur/distinfo
Commit message (Expand)AuthorAgeFilesLines
* math/rumur: update 2025.08.31 → 2026.03.11Yuri Victorovich2026-03-141-3/+3
* math/rumur: update 2025.01.05 → 2025.08.31Yuri Victorovich2025-11-091-3/+3
* math/rumur: update 2024.07.14 → 2025.01.05Yuri Victorovich2025-01-061-3/+3
* math/rumur: update 2024.05.07 → 2024.07.14Yuri Victorovich2024-07-161-3/+3
* math/rumur: update 2023.11.27 → 2024.05.07Yuri Victorovich2024-05-251-3/+3
* math/rumur: update 2023.05.21 → 2023.11.27Yuri Victorovich2023-12-231-3/+3
* math/rumur: Update 2022.08.20 → 2023.05.21Yuri Victorovich2023-05-251-3/+3
* math/rumur: Update 2022.03.05 -> 2022.08.20Yuri Victorovich2022-08-211-3/+3
* math/rumur: Update 2021.12.27 -> 2022.03.05Yuri Victorovich2022-03-131-3/+3
* math/rumur: Update 2021.09.29 -> 2021.12.27Yuri Victorovich2022-01-131-3/+3
* math/rumur: Update 2020.12.20 -> 2021.09.29Yuri Victorovich2021-10-011-3/+3
* math/rumur: Update 2020.09.06 -> 2020.12.20Yuri Victorovich2020-12-241-3/+3
* math/rumur: Update 2020.07.28 -> 2020.09.06Yuri Victorovich2020-09-141-3/+3
* math/rumur: Update 2020.07.11 -> 2020.07.28Yuri Victorovich2020-07-301-3/+3
* math/rumur: Update 2020.06.20 -> 2020.07.11Yuri Victorovich2020-07-161-3/+3
* math/rumur: Update 2020.05.27 -> 2020.06.20Yuri Victorovich2020-06-231-3/+3
* math/rumur: Update 2020.05.18 -> 2020.05.27Yuri Victorovich2020-05-301-3/+3
* math/rumur: Update 2020.04.26 -> 2020.05.18Yuri Victorovich2020-05-211-3/+3
* math/rumur: Update 2020.04.05 -> 2020.04.26Yuri Victorovich2020-04-291-3/+3
* math/rumur: Update 2020.03.12 -> 2020.04.05Yuri Victorovich2020-04-081-3/+3
* math/rumur: Update 2020.02.17-1 -> 2020.03.12Yuri Victorovich2020-03-131-3/+3
* math/rumur: Update 2020.02.17 -> 2020.02.17-1Yuri Victorovich2020-02-221-3/+3
* math/rumur: Update 2020.01.27-1 -> 2020.02.17Yuri Victorovich2020-02-191-3/+3
* math/rumur: Update 2020.01.11 -> 2020.01.27-1Yuri Victorovich2020-02-091-3/+3
* math/rumur: Update 2020.01.07 -> 2020.01.11Yuri Victorovich2020-01-131-3/+3
* math/rumur: Update 2019.12.22 -> 2020.01.07Yuri Victorovich2020-01-111-3/+3
* math/rumur: Update 2019.11.24 -> 2019.12.22Yuri Victorovich2019-12-241-3/+3
* math/rumur: Update 2019.11.09 -> 2019.11.24Yuri Victorovich2019-11-301-3/+3
* math/rumur: Update 2019.10.27 -> 2019.11.09Yuri Victorovich2019-11-161-3/+3
* math/rumur: Update 2019.09.15 -> 2019.10.27Yuri Victorovich2019-10-291-3/+3
* math/rumur: Update 2019.08.18 -> 2019.09.15Yuri Victorovich2019-09-211-3/+3
* math/rumur: Update 2019.07.21 -> 2019.08.18Yuri Victorovich2019-08-191-3/+3
* math/rumur: Update 2019.06.30 -> 2019.07.21Yuri Victorovich2019-07-221-3/+3
* math/rumur: Update 2019.06.12 -> 2019.06.30Yuri Victorovich2019-07-051-3/+3
* math/rumur: Update 2019.06.05 -> 2019.06.12Yuri Victorovich2019-06-131-3/+3
* math/rumur: Update 2019.06.01 -> 2019.06.05Yuri Victorovich2019-06-061-3/+3
* New port: math/rumur: Model checker, a formal verification tool for state mac...Yuri Victorovich2019-06-031-0/+3
generated by cgit v1.3 (git 2.53.0) at 2026-04-08 10:54:45 +0000