| 2 Nov 2024 |
 emily | okay the link in https://gist.github.com/wavezhang/ba8425f24a968ec9b2a8619d7c2d86a6?permalink_comment_id=3601058#gistcomment-3601058 works | 01:47:45 |
 Tomodachi94 (they/them) | Should we migrate javacard-devkit to by-name in the PR that makes it use OpenJDK /hj | 01:48:55 |
| emily | you gotta just delete it 😂 | 01:49:45 |
| emily | it does seem to run after jumping through those 50 hoops and it pointing me to URLs that no longer contain the ancient downloads | 01:51:03 |
| emily | but, given that there's newer versions that work on Linux and this package has been untouched since it was dumped into the tree in 2018 I see no good reason to keep it | 01:51:43 |
| emily | clearly nobody is looking after it | 01:52:49 |
