simgrid (3.35-1)
[PTS] [DDPO]
OK: VCS matches the version in the archive
- Git: https://salsa.debian.org/debian/simgrid.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 91037696
- Browser: https://salsa.debian.org/debian/simgrid
- Last scan: 2023-11-30 21:34:45+00
- Next scan: 2023-12-08 19:52:00+00
- CI pipeline status: success
- Debian changelog in Git:
simgrid (3.35-1) unstable; urgency=medium
* New upstream release: "Thanks Giving up stateful model-checking"
- Maint: liveness checking is gone. It was fragile and buggy.
Stateless model checking remains and gets further improved.
- API: ActivitySet make it easier to manage sets of activities.
- Plugins chiller, photovoltaic and battery revamped and improved.
- Performance improvements, both in time and memory.
- (+ internal refactoring, usability improvements and bug fixes)
* Drop d/p/commit-2beb5fe which was picked upstream for #1042217.
* d/copyright: update according to recent upstream changes.
-- Martin Quinson <mquinson@debian.org> Sun, 26 Nov 2023 23:38:10 +0100
- This branch is even with tag debian/3.35-1