2024-12-30 21:27:05 +01:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Mon Dec 30 20:25:03 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
|
|
|
|
|
|
- Update to release 2024.11.02
|
|
|
|
|
* No changelog was provided
|
|
|
|
|
|
2024-03-23 22:25:00 +01:00
|
|
|
-------------------------------------------------------------------
|
2024-09-11 18:00:57 +02:00
|
|
|
Wed Sep 11 15:30:19 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
|
|
|
|
|
|
- Update to release 2024.09.08
|
|
|
|
|
* the opposite category constructor now respects the enrichment of the input category
|
|
|
|
|
* Restore the previous behavior of only_primitive_operations for Opposite
|
|
|
|
|
* Attach a ring instance to the data types of rings and their elements
|
|
|
|
|
* Allow to specify weights of operations in CategoryConstructor
|
|
|
|
|
* Require additional filters to be dense lists of the expected length
|
|
|
|
|
|
|
|
|
|
-------------------------------------------------------------------
|
2024-03-23 22:25:00 +01:00
|
|
|
Sat Mar 23 21:24:48 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
|
|
|
|
|
|
- Update to release 2024.03.02
|
|
|
|
|
* No changelog was provided
|
|
|
|
|
|
2023-02-11 12:22:20 +01:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Sat Feb 11 11:21:27 UTC 2023 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
|
|
|
|
|
|
- Update to release 2023.02.06
|
|
|
|
|
* No changelog was provided
|
|
|
|
|
|
2022-11-19 05:42:49 +01:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Sat Nov 19 04:41:44 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
|
|
|
|
|
|
- Update to release 2022.10.06
|
|
|
|
|
* Derive ZeroMorphism as the empty sum of morphisms
|
|
|
|
|
* Make FreydCategoriesForCAP independent of LinearAlgebraForCAP
|
|
|
|
|
|
2018-11-22 13:10:28 +01:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Wed Nov 14 20:22:48 UTC 2018 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
|
|
|
|
|
|
- Update to new upstream release 2018.08.31
|
|
|
|
|
* No changelog was provided
|
|
|
|
|
|
2017-12-23 08:09:28 +01:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Fri Dec 22 20:18:50 UTC 2017 - jengelh@inai.de
|
|
|
|
|
|
|
|
|
|
- Initial package (version 2017.09.25) for build.opensuse.org
|
