Commit Graph

14 Commits

Author SHA1 Message Date
figsoda
faa4f137d7 jumpy: 0.7.0 -> 0.8.0
Diff: https://github.com/fishfolk/jumpy/compare/v0.7.0...v0.8.0

Changelog: https://github.com/fishfolk/jumpy/releases/tag/v0.8.0
2023-10-19 10:13:34 -04:00
figsoda
03b85bb697 jumpy: fix build on aarch64-linux 2023-05-08 10:52:00 -04:00
figsoda
b12e7df751 jumpy: 0.6.1 -> 0.7.0
Diff: https://github.com/fishfolk/jumpy/compare/v0.6.1...v0.7.0

Changelog: https://github.com/fishfolk/jumpy/releases/tag/v0.7.0
2023-05-04 16:47:05 -04:00
figsoda
bdc7b7cee9 jumpy: 0.6.0 -> 0.6.1
Diff: https://github.com/fishfolk/jumpy/compare/v0.6.0...v0.6.1

Changelog: https://github.com/fishfolk/jumpy/releases/tag/v0.6.1
2023-04-16 09:14:46 -04:00
figsoda
201d4b7c5c rustPlatform.buildRustPackage: make auditable the default 2023-03-26 22:47:06 -04:00
Yureka
f8cbc3c281 tree-wide: convert rust with git deps to importCargoLock 2023-03-26 01:52:04 +01:00
figsoda
880a65ddeb
jumpy: 0.5.1 -> 0.6.0 (#221921)
Diff: https://github.com/fishfolk/jumpy/compare/v0.5.1...v0.6.0

Changelog: https://github.com/fishfolk/jumpy/releases/tag/v0.6.0
2023-03-19 02:04:51 +01:00
Sergei Trofimovich
092d57c076 Merge remote-tracking branch 'origin/staging-next' into staging
Conflicts:
    pkgs/development/tools/language-servers/ansible-language-server/default.nix
2022-12-28 09:35:37 +00:00
figsoda
8e311bfac4 jumpy: remove duplicate build inputs 2022-12-27 19:29:03 -05:00
Vladimír Čunát
59a68f487d
Merge branch 'staging-next' into staging 2022-12-16 11:20:50 +01:00
figsoda
446bfd7430 jumpy: 0.4.3 -> 0.5.1
Diff: https://github.com/fishfolk/jumpy/compare/v0.4.3...v0.5.1

Changelog: https://github.com/fishfolk/jumpy/releases/tag/v0.5.1
2022-12-14 21:44:11 -05:00
figsoda
e4186ccd21 jumpy: make auditable 2022-12-05 18:46:00 -05:00
Artturin
61c3058bcb all-packages.nix: remove inherit (*xorg) *'s
using inherits in callPackage args is discouraged and doesn't splice
correctly
2022-10-14 20:48:09 +03:00
figsoda
c4ba4b2562 jumpy: rename from fishfight, 0.4.2 -> 0.4.3 2022-08-03 17:33:51 +08:00