"src/main/scala/leon/testgen/CallGraph.scala" did not exist on "40a6bb1d27b74f3583bd49c3abed427339b73bd1"
Add namd with tcl support
tcl is needed for certain types of standard namd inputs, spack chose a non-tcl version last time around
needed to explicitly set namd@3.0.1 interface=tcl
in definitions_acc_cuda.yaml
to trigger a reconcretization, the requirement in packages*.yaml
was not enough
Merge request reports
Activity
Please register or sign in to reply