Stefan Ellmauthaler

ellmau synced commits to main at ellmau/nixos from mirror 2023-08-12 13:47:43 +02:00

2f6f22a3ea Update smailserver to 23.05

eda3d924ee flake.lock: Update

Compare 2 commits »

ellmau synced commits to main at ellmau/nixos from mirror 2023-08-10 13:33:57 +02:00

c7a05ee75a flake.lock: Update

ellmau synced commits to main at ellmau/nixos from mirror 2023-08-09 13:23:57 +02:00

bb6574c093 flake.lock: Update

ellmau synced commits to main at ellmau/nixos from mirror 2023-08-07 13:03:56 +02:00

ead81f47f4 flake.lock: Update

ellmau synced commits to refs/pull/155/head at ellmau/adf-obdd from mirror 2023-08-05 12:43:56 +02:00

bcdbf8e970 Add missing meta inherit

80175c4143 Apply comments from review

Compare 2 commits »

ellmau synced and deleted reference flake/app at ellmau/adf-obdd from mirror 2023-08-05 12:43:56 +02:00

ellmau synced commits to main at ellmau/adf-obdd from mirror 2023-08-05 12:43:56 +02:00

627a1a1810 Add flake app and packages for adf-bdd (#155)

ellmau synced commits to main at ellmau/adf-obdd from mirror 2023-08-04 12:33:57 +02:00

fc0042fcd1 Bump serde from 1.0.180 to 1.0.181 (#166)

bc403d10cb Merge pull request #165 from ellmau/dependabot/npm_and_yarn/frontend/semver-6.3.1

34d3af0c0d Bump semver from 6.3.0 to 6.3.1 in /frontend

8cafca22eb Fix typo in info text

3979f77d03 Upgrade dependencies

Compare 5 commits »

ellmau synced and deleted reference upgrade-dependencies at ellmau/adf-obdd from mirror 2023-08-04 12:33:57 +02:00

ellmau synced and deleted reference dependabot/cargo/crossbeam-channel-0.5.7 at ellmau/adf-obdd from mirror 2023-08-04 12:33:57 +02:00

ellmau synced and deleted reference dependabot/cargo/serde-1.0.164 at ellmau/adf-obdd from mirror 2023-08-04 12:33:57 +02:00

ellmau synced and deleted reference dependabot/cargo/serde_json-1.0.104 at ellmau/adf-obdd from mirror 2023-08-04 12:33:57 +02:00

ellmau synced and deleted reference dependabot/npm_and_yarn/frontend/semver-5.7.2 at ellmau/adf-obdd from mirror 2023-08-04 12:33:57 +02:00

ellmau synced and deleted reference dependabot/npm_and_yarn/frontend/word-wrap-1.2.4 at ellmau/adf-obdd from mirror 2023-08-04 12:33:57 +02:00

ellmau synced commits to flake/app at ellmau/adf-obdd from mirror 2023-08-04 12:33:57 +02:00

19a49c7844 Add flake app and packages for adf-bdd

fc0042fcd1 Bump serde from 1.0.180 to 1.0.181 (#166)

bc403d10cb Merge pull request #165 from ellmau/dependabot/npm_and_yarn/frontend/semver-6.3.1

34d3af0c0d Bump semver from 6.3.0 to 6.3.1 in /frontend

8cafca22eb Fix typo in info text

Compare 6 commits »

ellmau synced and deleted reference dependabot/cargo/clap-4.3.19 at ellmau/adf-obdd from mirror 2023-08-04 12:33:56 +02:00

ellmau synced and deleted reference dependabot/cargo/biodivine-lib-bdd-0.5.1 at ellmau/adf-obdd from mirror 2023-08-04 12:33:56 +02:00

ellmau synced and deleted reference bugfix/typo-in-help-text at ellmau/adf-obdd from mirror 2023-08-04 12:33:56 +02:00

ellmau synced commits to upgrade-dependencies at ellmau/adf-obdd from mirror 2023-08-03 12:23:56 +02:00

ellmau synced new reference upgrade-dependencies to ellmau/adf-obdd from mirror 2023-08-03 12:23:56 +02:00