@name numbat-1.12.0_0
@portname numbat
@portepoch 0
@portversion 1.12.0
@portrevision 0
@archs x86_64
opt/local/bin/numbat
@comment MD5:db12a2f53664dc235f6d88da3affdd5d
@comment binary:1
opt/local/share/numbat/examples/acidity.nbt
@comment MD5:a566ccfc0b5477c48b4b1a8febf14e69
@comment binary:0
opt/local/share/numbat/examples/air_resistance.nbt
@comment MD5:3a2a92aced8591c63927567d57872757
@comment binary:0
opt/local/share/numbat/examples/assert_eq_success.nbt
@comment MD5:8c51da0b5eea1d0f8e318feddcda4106
@comment binary:0
opt/local/share/numbat/examples/barometric_formula.nbt
@comment MD5:44d818ea15a6500e787d02e857cb9160
@comment binary:0
opt/local/share/numbat/examples/binomial_coefficient.nbt
@comment MD5:0f2f9c37d1f6ed027e8ccb7e69446f9d
@comment binary:0
opt/local/share/numbat/examples/body_mass_index.nbt
@comment MD5:43ced7f5a8c9e08918108b4045ff5141
@comment binary:0
opt/local/share/numbat/examples/booleans.nbt
@comment MD5:58145ff572799068923eb47455aa657d
@comment binary:0
opt/local/share/numbat/examples/chemistry_tests.nbt
@comment MD5:52e7a9be0d6c2e04e5aa4e47d12e3ba3
@comment binary:0
opt/local/share/numbat/examples/codata2018_consistency.nbt
@comment MD5:cda31360751ce42ffa8149e07fe8f261
@comment binary:0
opt/local/share/numbat/examples/consistency_others.nbt
@comment MD5:659ca0f9ae4906be855e503c52a02cbd
@comment binary:0
opt/local/share/numbat/examples/consistency_si.nbt
@comment MD5:5b130dc2390a5ccf1045ecbdb8da173c
@comment binary:0
opt/local/share/numbat/examples/custom_dimensions.nbt
@comment MD5:afc0022f49b3db0862275bbdae1c079a
@comment binary:0
opt/local/share/numbat/examples/datetime_human_tests.nbt
@comment MD5:a56101dbe86262f5d719ec9f4cd47a24
@comment binary:0
opt/local/share/numbat/examples/datetime_tests.nbt
@comment MD5:32f16869bfe75734fb14a1b815beeda2
@comment binary:0
opt/local/share/numbat/examples/earth_mass.nbt
@comment MD5:1beb48d7397993bbb8ed0ce566e6048c
@comment binary:0
opt/local/share/numbat/examples/euler_approximation.nbt
@comment MD5:5fbca798c02abd8013f1f744256029db
@comment binary:0
opt/local/share/numbat/examples/factorial.nbt
@comment MD5:2640f33507f54944a0035ab78f7d7c68
@comment binary:0
opt/local/share/numbat/examples/flops.nbt
@comment MD5:240db8c16356dd52180ed03e7c2afa4b
@comment binary:0
opt/local/share/numbat/examples/gcd.nbt
@comment MD5:feab38c86e0cdcfa90e4663ca9a5eb2e
@comment binary:0
opt/local/share/numbat/examples/generics.nbt
@comment MD5:3308302090e202941c56a508baa2fb21
@comment binary:0
opt/local/share/numbat/examples/hello_world.nbt
@comment MD5:72214db4e1e543018d1bafe86ea3b444
@comment binary:0
opt/local/share/numbat/examples/inter_dot_spacing.nbt
@comment MD5:7b3a8c2f177f5417223ee59affb59d9c
@comment binary:0
opt/local/share/numbat/examples/kinetic_energy.nbt
@comment MD5:2467977c8fe326018d5cea3cb44b89fb
@comment binary:0
opt/local/share/numbat/examples/medication_dosage.nbt
@comment MD5:3b8e8da2228249d197ddef87ac2235a1
@comment binary:0
opt/local/share/numbat/examples/molarity.nbt
@comment MD5:82127a4cde16beb064ffeb441f6f6af9
@comment binary:0
opt/local/share/numbat/examples/musical_note_frequency.nbt
@comment MD5:92e47c766efc41e72645398558863367
@comment binary:0
opt/local/share/numbat/examples/name_resolution_error/alias_clash.nbt
@comment MD5:1ff8c9c316d82d3f8a3e616d277fc479
@comment binary:0
opt/local/share/numbat/examples/name_resolution_error/duplicate_unit.nbt
@comment MD5:907e6995e23cc5bfb0cdd4541d4c7b39
@comment binary:0
opt/local/share/numbat/examples/name_resolution_error/function_name_clash2.nbt
@comment MD5:c81d5857ee4790ef7c3182daf42f3239
@comment binary:0
opt/local/share/numbat/examples/name_resolution_error/prefix_1.nbt
@comment MD5:c86f6bcb84d1baf2843c9062eb43784a
@comment binary:0
opt/local/share/numbat/examples/name_resolution_error/prefix_2.nbt
@comment MD5:1bc1bbd8e24b15a0ffd758081daa9474
@comment binary:0
opt/local/share/numbat/examples/name_resolution_error/reserved_identifier_1.nbt
@comment MD5:92ff5faabd0df27955dfaabdc7747ae6
@comment binary:0
opt/local/share/numbat/examples/name_resolution_error/reserved_identifier_2.nbt
@comment MD5:8a5ad6e58962177ae20a2f9510a35ad9
@comment binary:0
opt/local/share/numbat/examples/name_resolution_error/reserved_identifier_3.nbt
@comment MD5:5480197ca8f3ae7cf67613255f7087fe
@comment binary:0
opt/local/share/numbat/examples/name_resolution_error/reserved_identifier_4.nbt
@comment MD5:fa4df8c875fbee7fb46cacfc180d88b2
@comment binary:0
opt/local/share/numbat/examples/name_resolution_error/unit_clashes_with_parameter.nbt
@comment MD5:5ba2cc1defcc09f59a9351c6951cad7e
@comment binary:0
opt/local/share/numbat/examples/name_resolution_error/unit_clashes_with_variables.nbt
@comment MD5:ca8f916bfac47922c37a44d1b71afeab
@comment binary:0
opt/local/share/numbat/examples/name_resolution_error/variable_clashes_with_unit.nbt
@comment MD5:80233521f86d2e8ae86f8f2407028f41
@comment binary:0
opt/local/share/numbat/examples/nested_function_calls.nbt
@comment MD5:cb2617800b09836eabfa66e367b14065
@comment binary:0
opt/local/share/numbat/examples/numbat_syntax.nbt
@comment MD5:f41254ba42c338a381f84d71ca91d806
@comment binary:0
opt/local/share/numbat/examples/numerical_diff.nbt
@comment MD5:7cddf862a6f47d823ab3861b40e0d3bf
@comment binary:0
opt/local/share/numbat/examples/paper_size.nbt
@comment MD5:1a304bdef4634c6ddc1bac74b73740e7
@comment binary:0
opt/local/share/numbat/examples/parse_error/division_by_zero_in_dimension_expr.nbt
@comment MD5:e7b12f4a80e1e39eccd602a6cc935b1b
@comment binary:0
opt/local/share/numbat/examples/parse_error/expected_comma_or_right_angle_bracket.nbt
@comment MD5:f5cd91f2d1241f3c2ef9c47c4ba6923d
@comment binary:0
opt/local/share/numbat/examples/parse_error/expected_digit.nbt
@comment MD5:f3f062c692d0f150d20d4167a5a18c54
@comment binary:0
opt/local/share/numbat/examples/parse_error/expected_digit_in_base.nbt
@comment MD5:43b119641c885e4b5a81a62b4f89922a
@comment binary:0
opt/local/share/numbat/examples/parse_error/expected_equal_or_colon_after_let.nbt
@comment MD5:2e45c233c5113fc829ff371fd24eca49
@comment binary:0
opt/local/share/numbat/examples/parse_error/expected_identifier_after_fn.nbt
@comment MD5:4f99bab84c856c678adaa2caa76a5373
@comment binary:0
opt/local/share/numbat/examples/parse_error/expected_identifier_after_let.nbt
@comment MD5:023cd843aee25d0c61effca15c610eaf
@comment binary:0
opt/local/share/numbat/examples/parse_error/expected_identifier_in_postfix_apply.nbt
@comment MD5:df38075810bba3c62c272c78b2c60f23
@comment binary:0
opt/local/share/numbat/examples/parse_error/expected_left_paren_in_fn_definition.nbt
@comment MD5:ed276765b24ed579d4e4e25611febed8
@comment binary:0
opt/local/share/numbat/examples/parse_error/expected_primary.nbt
@comment MD5:7030bbc57d6bc6a7504f947fab33a652
@comment binary:0
opt/local/share/numbat/examples/parse_error/expected_type_parameter_name.nbt
@comment MD5:ccdd10d4247395285d34477c3a2665df
@comment binary:0
opt/local/share/numbat/examples/parse_error/missing_closing_paren1.nbt
@comment MD5:4ee9a1d7380f7daf47064ec23f245a8d
@comment binary:0
opt/local/share/numbat/examples/parse_error/missing_closing_paren2.nbt
@comment MD5:11702b3cc5c338861f206b0762953fb5
@comment binary:0
opt/local/share/numbat/examples/parse_error/missing_closing_paren3.nbt
@comment MD5:88f01596d297687de4608ed96611fdf6
@comment binary:0
opt/local/share/numbat/examples/parse_error/missing_closing_paren4.nbt
@comment MD5:8be11aa4cdad02f1adb743d773fb790d
@comment binary:0
opt/local/share/numbat/examples/parse_error/missing_closing_paren5.nbt
@comment MD5:db975085fffe7b51149703591baafb0d
@comment binary:0
opt/local/share/numbat/examples/parse_error/only_single_variadic_parameter.nbt
@comment MD5:c5ec25a07f81e86ed6eb058fcbc51b68
@comment binary:0
opt/local/share/numbat/examples/parse_error/trailing_characters.nbt
@comment MD5:dd68fd5f91504cba945e9a0df273a3c5
@comment binary:0
opt/local/share/numbat/examples/parse_error/unexpected_character.nbt
@comment MD5:1c0e5bfcdff9b88127b80ed316b9fb31
@comment binary:0
opt/local/share/numbat/examples/parse_error/unexpected_character_in_identifier.nbt
@comment MD5:e0befcf56a21b81f156fbededead6618
@comment binary:0
opt/local/share/numbat/examples/parse_error/unexpected_character_in_negative_exponent.nbt
@comment MD5:28a24bd06da0c6b50f84d9a396d061b1
@comment binary:0
opt/local/share/numbat/examples/parse_error/unexpected_character_in_number_literal.nbt
@comment MD5:9049aae4ce83e5c58bb267814dd2a034
@comment binary:0
opt/local/share/numbat/examples/parse_error/unterminated_string.nbt
@comment MD5:a8984012a82099f9d32dbcf3d016c792
@comment binary:0
opt/local/share/numbat/examples/pendulum.nbt
@comment MD5:ed735a9323efda1da13ae87048dc20d5
@comment binary:0
opt/local/share/numbat/examples/pipe_flow_rate.nbt
@comment MD5:6e492b9e6d53eef1ef2458f48ed87675
@comment binary:0
opt/local/share/numbat/examples/population_growth.nbt
@comment MD5:0346d744575b72c55d21617aadc7255b
@comment binary:0
opt/local/share/numbat/examples/prelude_tests.nbt
@comment MD5:3a7072b25d8aa859a449878a02b2f562
@comment binary:0
opt/local/share/numbat/examples/print.nbt
@comment MD5:ec57635ef7538e7273139dd2dcd90bef
@comment binary:0
opt/local/share/numbat/examples/projectile_motion.nbt
@comment MD5:d5677228fc799556d2854c49f3a83a7a
@comment binary:0
opt/local/share/numbat/examples/readme-demo.nbt
@comment MD5:84fd70d730c10791f4fe3d75e0ea5d4b
@comment binary:0
opt/local/share/numbat/examples/recipe.nbt
@comment MD5:d37475043d4a07df7913d1733d562522
@comment binary:0
opt/local/share/numbat/examples/runtime_error/assert_eq_1.nbt
@comment MD5:9b85618590a9a09b4523e44fb69456a9
@comment binary:0
opt/local/share/numbat/examples/runtime_error/assert_eq_2.nbt
@comment MD5:67ed73a470a5956d847970d363cc1ac5
@comment binary:0
opt/local/share/numbat/examples/runtime_error/division_by_zero.nbt
@comment MD5:d101eb8890df2f5966543cd0b6e7a07f
@comment binary:0
opt/local/share/numbat/examples/runtime_error/user_error.nbt
@comment MD5:cf30d80cb76b8f4311dd8bf0f900565f
@comment binary:0
opt/local/share/numbat/examples/stopping_distance.nbt
@comment MD5:d86e785dcdef9011a0100b9a4e80b0dc
@comment binary:0
opt/local/share/numbat/examples/thermal_conductivity.nbt
@comment MD5:947d4acd45284f186ea56d6c7aa27df3
@comment binary:0
opt/local/share/numbat/examples/time_units.nbt
@comment MD5:6c8e0fa6bcaeef5239062bdea4537790
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/assert_eq_1.nbt
@comment MD5:2cb16e7229e5fe16b1a0db71b6154d42
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/assert_eq_2.nbt
@comment MD5:04d2fffa8e3090133dd75f1f0fa4e7e8
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/assert_eq_3.nbt
@comment MD5:5669311440db54c8a1c3917be403c585
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/can_not_add_apples_to_oranges.nbt
@comment MD5:d39b9e25c6ed3b3b0f704a0f8999d2e4
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/can_not_infer_type_parameters.nbt
@comment MD5:46fca3424ccfe45e93168f94fab972da
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/conditional_branch_type_mismatch.nbt
@comment MD5:e9167defb629ed8daa04b5ec72e65a16
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/conditional_expected_bool.nbt
@comment MD5:201bc15ec909c8c5fb35faaa765ab1f7
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/dimension_name_conflict.nbt
@comment MD5:3a6441692ced741cb89cba9d941fb11f
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/division_by_zero_in_const_eval.nbt
@comment MD5:e1ce96e244fa0f6cc0ecdcc24f9cb44e
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/expected_dtype_1.nbt
@comment MD5:7416932ac5abe6b2caeba89b07e6d48d
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/expected_dtype_2.nbt
@comment MD5:af998c67bcaa273b7c548f3055bd4565
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/expected_dtype_3.nbt
@comment MD5:ae27c042b61b787d78cf245d420ea535
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/foreign_function_without_parameter_type.nbt
@comment MD5:4e555e5568915ec865a90b48f6f62dc1
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/foreign_function_without_return_type.nbt
@comment MD5:8e618de06d42480c725533c3e1d6eba8
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/incompatible_alternative_dimensions.nbt
@comment MD5:8003157c8685ab21319e82fcbf5072af
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/incompatible_types_in_addition.nbt
@comment MD5:052b21cebed4c19206a5cefbceb2158b
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/incompatible_types_in_conversion.nbt
@comment MD5:5848ca0509d6ad1e3df4d789eac98517
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/incompatible_types_in_function_argument.nbt
@comment MD5:a5f2b625f0301db2c96ebac0fb1a382a
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/incompatible_types_in_modulo.nbt
@comment MD5:2f654c12ac3c77af5fd912d0a05fb8df
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/multiple_unresolved_type_parameters.nbt
@comment MD5:95b77ba7ff3b233628f4e1173b85d7a3
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/non_scalar_exponent.nbt
@comment MD5:d2690dcfab8a603ae1d32acf26a28da8
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/type_parameter_name_clash.nbt
@comment MD5:260d2bd77f3d6cff09007f942c667d81
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/unit_definition.nbt
@comment MD5:d9cb30240bea627cf3c65580738d5561
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/unknown_callable.nbt
@comment MD5:bf38cb3c133478bf14b031e17e29a7dc
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/unknown_foreign_function.nbt
@comment MD5:7c9441db9b19a71470e6f1b30aaac5c1
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/unknown_identifier.nbt
@comment MD5:149554dee23169406151acbb1c472a1d
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/unsupported_const_eval_expr_conversion.nbt
@comment MD5:ff4ed0426b1a5b38de087ad8455f50eb
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/unsupported_const_eval_expr_function_call.nbt
@comment MD5:dd520bf9d0093a4a66b06803c407fc19
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/unsupported_const_eval_expr_non_integer_exponent.nbt
@comment MD5:b8506fbbf343bb36dd4a2c02e9d7cc63
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/unsupported_const_eval_expr_unit.nbt
@comment MD5:2cd66bc25b86d444eb3e5d3eae2f7c09
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/unsupported_const_eval_expr_variable.nbt
@comment MD5:4e4d7ebdda1c6e1900c3b0ad3bcc3857
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/variable_definition.nbt
@comment MD5:ae58422f953956e152fe0d0fec176c06
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/wrong_arity_fn.nbt
@comment MD5:b240c34ee5b37693c544c570313ffd82
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/wrong_arity_procedure.nbt
@comment MD5:3d9bee19d142ca72c81fc34942844336
@comment binary:0
opt/local/share/numbat/examples/typecheck_error/wrong_return_type.nbt
@comment MD5:0696ef2e103ff22a3f8dbd40d0b23b1a
@comment binary:0
opt/local/share/numbat/examples/unicode.nbt
@comment MD5:bd46a4e82e54ddddc8f52b375699f3dc
@comment binary:0
opt/local/share/numbat/examples/what_if_11.nbt
@comment MD5:ca359f9e5aac58a2591a68c7e30c834f
@comment binary:0
opt/local/share/numbat/examples/what_if_158.nbt
@comment MD5:f90311616b0ad058d6b0751c7bf17e7e
@comment binary:0
opt/local/share/numbat/examples/workhours.nbt
@comment MD5:73742113e31e8bf9576698e6113c01a8
@comment binary:0
opt/local/share/numbat/examples/xkcd_2585.nbt
@comment MD5:6ae7be1a5744b6a3269325cc03e1d830
@comment binary:0
opt/local/share/numbat/examples/xkcd_2812.nbt
@comment MD5:ec5745e878ec7cda0869e1c12d9e6fd8
@comment binary:0
opt/local/share/numbat/examples/xkcd_681.nbt
@comment MD5:3126c49ab20485af3855db1516764f95
@comment binary:0
opt/local/share/numbat/examples/xkcd_687.nbt
@comment MD5:bafc87d0f89ea52e0f2e1842567ce35e
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
