Skip to content

Instantly share code, notes, and snippets.

@tthsqe12

tthsqe12/bad.txt

Last active June 17, 2022 14:29
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save tthsqe12/703d8fa0f1d71b4f6c6dc2928d99db40 to your computer and use it in GitHub Desktop.
Save tthsqe12/703d8fa0f1d71b4f6c6dc2928d99db40 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
bad.txt
[e134572f-a0d5-539d-bddf-3cad8db41a82]
FLINT = "/usr/local"
[d9960996-1013-53c9-9ba4-74a4155039c3]
Arb = "/usr/local"
[e21ec000-9f72-519e-ba6d-10061e575a27]
Antic = "/usr/local"
[fcfa6d1b-d8ce-59d5-8c0a-c0d7f69e4f40]
Calcium = "/usr/local"
#[ae4fbd8f-ecdb-54f8-bbce-35570499b30e]
#libsingular_julia = "/home/schultz/git/libsingular-julia/build"
#[43d676ae-4934-50ba-8046-7a96366d613b]
#Singular = "/home/schultz/git/Singular/build"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment