refactor: check-in pubspec.lock

[flexiondotorg]

Description

The patch corrects the flake description and checks-in pubspec.lock. It also updates devshell.nix to auto-regenerate the pubspec lock files.

Checklist:

• [x] I have performed a self-review of my code
• [x] I have commented my code, particularly in hard-to-understand areas