1 files changed, 0 insertions, 222 deletions
diff --git a/devel/pragmarcs/pkg-plist b/devel/pragmarcs/pkg-plist
deleted file mode 100644
index 646d737b67dc..000000000000
--- a/devel/pragmarcs/pkg-plist
+++ /dev/null
@@ -1,222 +0,0 @@
-include/pragmarcs/pragmarc-ansi_tty_control.adb
-include/pragmarcs/pragmarc-ansi_tty_control.ads
-include/pragmarcs/pragmarc-b_strings.adb
-include/pragmarcs/pragmarc-b_strings.ads
-include/pragmarcs/pragmarc-bag_unbounded.adb
-include/pragmarcs/pragmarc-bag_unbounded.ads
-include/pragmarcs/pragmarc-bag_unbounded_unprotected.adb
-include/pragmarcs/pragmarc-bag_unbounded_unprotected.ads
-include/pragmarcs/pragmarc-binary_searcher.adb
-include/pragmarcs/pragmarc-binary_searcher.ads
-include/pragmarcs/pragmarc-binary_semaphore_handler.adb
-include/pragmarcs/pragmarc-binary_semaphore_handler.ads
-include/pragmarcs/pragmarc-character_regular_expression_matcher.ads
-include/pragmarcs/pragmarc-combined_random.adb
-include/pragmarcs/pragmarc-combined_random.ads
-include/pragmarcs/pragmarc-complex.adb
-include/pragmarcs/pragmarc-complex.ads
-include/pragmarcs/pragmarc-concurrent_pipeline.adb
-include/pragmarcs/pragmarc-concurrent_pipeline.ads
-include/pragmarcs/pragmarc-date_handler.adb
-include/pragmarcs/pragmarc-date_handler.ads
-include/pragmarcs/pragmarc-deck_handler.adb
-include/pragmarcs/pragmarc-deck_handler.ads
-include/pragmarcs/pragmarc-forwarder.adb
-include/pragmarcs/pragmarc-forwarder.ads
-include/pragmarcs/pragmarc-genetic_algorithm.adb
-include/pragmarcs/pragmarc-genetic_algorithm.ads
-include/pragmarcs/pragmarc-get_line.adb
-include/pragmarcs/pragmarc-get_line.ads
-include/pragmarcs/pragmarc-hash_fast_variable_length.adb
-include/pragmarcs/pragmarc-hash_fast_variable_length.ads
-include/pragmarcs/pragmarc-holders.adb
-include/pragmarcs/pragmarc-holders.ads
-include/pragmarcs/pragmarc-images-image.ads
-include/pragmarcs/pragmarc-images.adb
-include/pragmarcs/pragmarc-images.ads
-include/pragmarcs/pragmarc-job_pools.adb
-include/pragmarcs/pragmarc-job_pools.ads
-include/pragmarcs/pragmarc-kiss_random.adb
-include/pragmarcs/pragmarc-kiss_random.ads
-include/pragmarcs/pragmarc-least_squares_fitting.adb
-include/pragmarcs/pragmarc-least_squares_fitting.ads
-include/pragmarcs/pragmarc-linear_equation_solver.adb
-include/pragmarcs/pragmarc-linear_equation_solver.ads
-include/pragmarcs/pragmarc-list_bounded.adb
-include/pragmarcs/pragmarc-list_bounded.ads
-include/pragmarcs/pragmarc-list_bounded_unprotected.adb
-include/pragmarcs/pragmarc-list_bounded_unprotected.ads
-include/pragmarcs/pragmarc-list_unbounded.adb
-include/pragmarcs/pragmarc-list_unbounded.ads
-include/pragmarcs/pragmarc-list_unbounded_unprotected.adb
-include/pragmarcs/pragmarc-list_unbounded_unprotected.ads
-include/pragmarcs/pragmarc-math-functions.adb
-include/pragmarcs/pragmarc-math-functions.ads
-include/pragmarcs/pragmarc-math-integer_functions.adb
-include/pragmarcs/pragmarc-math-integer_functions.ads
-include/pragmarcs/pragmarc-math.ads
-include/pragmarcs/pragmarc-matrix_math.adb
-include/pragmarcs/pragmarc-matrix_math.ads
-include/pragmarcs/pragmarc-menu_handler.adb
-include/pragmarcs/pragmarc-menu_handler.ads
-include/pragmarcs/pragmarc-min_max.adb
-include/pragmarcs/pragmarc-min_max.ads
-include/pragmarcs/pragmarc-mixed_case.adb
-include/pragmarcs/pragmarc-mixed_case.ads
-include/pragmarcs/pragmarc-monitor_handler.adb
-include/pragmarcs/pragmarc-monitor_handler.ads
-include/pragmarcs/pragmarc-persistent_skip_list_unbounded.adb
-include/pragmarcs/pragmarc-persistent_skip_list_unbounded.ads
-include/pragmarcs/pragmarc-postfix_calculator.adb
-include/pragmarcs/pragmarc-postfix_calculator.ads
-include/pragmarcs/pragmarc-protected_option.adb
-include/pragmarcs/pragmarc-protected_option.ads
-include/pragmarcs/pragmarc-queue_bounded.adb
-include/pragmarcs/pragmarc-queue_bounded.ads
-include/pragmarcs/pragmarc-queue_bounded_blocking.adb
-include/pragmarcs/pragmarc-queue_bounded_blocking.ads
-include/pragmarcs/pragmarc-queue_bounded_unprotected.adb
-include/pragmarcs/pragmarc-queue_bounded_unprotected.ads
-include/pragmarcs/pragmarc-queue_unbounded.adb
-include/pragmarcs/pragmarc-queue_unbounded.ads
-include/pragmarcs/pragmarc-queue_unbounded_blocking.adb
-include/pragmarcs/pragmarc-queue_unbounded_blocking.ads
-include/pragmarcs/pragmarc-queue_unbounded_unprotected.adb
-include/pragmarcs/pragmarc-queue_unbounded_unprotected.ads
-include/pragmarcs/pragmarc-quick_searcher.adb
-include/pragmarcs/pragmarc-quick_searcher.ads
-include/pragmarcs/pragmarc-random_ranges.adb
-include/pragmarcs/pragmarc-random_ranges.ads
-include/pragmarcs/pragmarc-rational_numbers.adb
-include/pragmarcs/pragmarc-rational_numbers.ads
-include/pragmarcs/pragmarc-real_random_ranges.adb
-include/pragmarcs/pragmarc-real_random_ranges.ads
-include/pragmarcs/pragmarc-real_random_values.adb
-include/pragmarcs/pragmarc-real_random_values.ads
-include/pragmarcs/pragmarc-reflection.ads
-include/pragmarcs/pragmarc-regular_expression_matcher.adb
-include/pragmarcs/pragmarc-regular_expression_matcher.ads
-include/pragmarcs/pragmarc-rem_nn_wrapper.adb
-include/pragmarcs/pragmarc-rem_nn_wrapper.ads
-include/pragmarcs/pragmarc-safe_pointers.adb
-include/pragmarcs/pragmarc-safe_pointers.ads
-include/pragmarcs/pragmarc-safe_semaphore_handler.adb
-include/pragmarcs/pragmarc-safe_semaphore_handler.ads
-include/pragmarcs/pragmarc-safe_suspension_objects.adb
-include/pragmarcs/pragmarc-safe_suspension_objects.ads
-include/pragmarcs/pragmarc-set_discrete.adb
-include/pragmarcs/pragmarc-set_discrete.ads
-include/pragmarcs/pragmarc-skip_list_unbounded-put.adb
-include/pragmarcs/pragmarc-skip_list_unbounded-put.ads
-include/pragmarcs/pragmarc-skip_list_unbounded.adb
-include/pragmarcs/pragmarc-skip_list_unbounded.ads
-include/pragmarcs/pragmarc-sort_heap.adb
-include/pragmarcs/pragmarc-sort_heap.ads
-include/pragmarcs/pragmarc-sort_insertion.adb
-include/pragmarcs/pragmarc-sort_insertion.ads
-include/pragmarcs/pragmarc-sort_quick_in_place.adb
-include/pragmarcs/pragmarc-sort_quick_in_place.ads
-include/pragmarcs/pragmarc-sort_radix.adb
-include/pragmarcs/pragmarc-sort_radix.ads
-include/pragmarcs/pragmarc-stack_unbounded.adb
-include/pragmarcs/pragmarc-stack_unbounded.ads
-include/pragmarcs/pragmarc-stack_unbounded_unprotected.adb
-include/pragmarcs/pragmarc-stack_unbounded_unprotected.ads
-include/pragmarcs/pragmarc-text_io.adb
-include/pragmarcs/pragmarc-text_io.ads
-include/pragmarcs/pragmarc-three_way.adb
-include/pragmarcs/pragmarc-three_way.ads
-include/pragmarcs/pragmarc-threefry_random.adb
-include/pragmarcs/pragmarc-threefry_random.ads
-include/pragmarcs/pragmarc-transporter_handler.adb
-include/pragmarcs/pragmarc-transporter_handler.ads
-include/pragmarcs/pragmarc-unbounded_integers.adb
-include/pragmarcs/pragmarc-unbounded_integers.ads
-include/pragmarcs/pragmarc-universal_random.adb
-include/pragmarcs/pragmarc-universal_random.ads
-include/pragmarcs/pragmarc-us_card.adb
-include/pragmarcs/pragmarc-us_card.ads
-include/pragmarcs/pragmarc-us_deck.adb
-include/pragmarcs/pragmarc-us_deck.ads
-include/pragmarcs/pragmarc-word_input.adb
-include/pragmarcs/pragmarc-word_input.ads
-include/pragmarcs/pragmarc-wrapping.adb
-include/pragmarcs/pragmarc-wrapping.ads
-include/pragmarcs/pragmarc.ads
-lib/gnat/pragmarcs.gpr
-lib/pragmarcs/libpragmarcs.a
-lib/pragmarcs/pragmarc-ansi_tty_control.ali
-lib/pragmarcs/pragmarc-b_strings.ali
-lib/pragmarcs/pragmarc-bag_unbounded.ali
-lib/pragmarcs/pragmarc-bag_unbounded_unprotected.ali
-lib/pragmarcs/pragmarc-binary_searcher.ali
-lib/pragmarcs/pragmarc-binary_semaphore_handler.ali
-lib/pragmarcs/pragmarc-character_regular_expression_matcher.ali
-lib/pragmarcs/pragmarc-combined_random.ali
-lib/pragmarcs/pragmarc-complex.ali
-lib/pragmarcs/pragmarc-concurrent_pipeline.ali
-lib/pragmarcs/pragmarc-date_handler.ali
-lib/pragmarcs/pragmarc-deck_handler.ali
-lib/pragmarcs/pragmarc-forwarder.ali
-lib/pragmarcs/pragmarc-genetic_algorithm.ali
-lib/pragmarcs/pragmarc-get_line.ali
-lib/pragmarcs/pragmarc-hash_fast_variable_length.ali
-lib/pragmarcs/pragmarc-holders.ali
-lib/pragmarcs/pragmarc-images-image.ali
-lib/pragmarcs/pragmarc-images.ali
-lib/pragmarcs/pragmarc-job_pools.ali
-lib/pragmarcs/pragmarc-kiss_random.ali
-lib/pragmarcs/pragmarc-least_squares_fitting.ali
-lib/pragmarcs/pragmarc-linear_equation_solver.ali
-lib/pragmarcs/pragmarc-list_bounded.ali
-lib/pragmarcs/pragmarc-list_bounded_unprotected.ali
-lib/pragmarcs/pragmarc-list_unbounded.ali
-lib/pragmarcs/pragmarc-list_unbounded_unprotected.ali
-lib/pragmarcs/pragmarc-math-functions.ali
-lib/pragmarcs/pragmarc-math-integer_functions.ali
-lib/pragmarcs/pragmarc-math.ali
-lib/pragmarcs/pragmarc-matrix_math.ali
-lib/pragmarcs/pragmarc-menu_handler.ali
-lib/pragmarcs/pragmarc-min_max.ali
-lib/pragmarcs/pragmarc-mixed_case.ali
-lib/pragmarcs/pragmarc-monitor_handler.ali
-lib/pragmarcs/pragmarc-persistent_skip_list_unbounded.ali
-lib/pragmarcs/pragmarc-postfix_calculator.ali
-lib/pragmarcs/pragmarc-protected_option.ali
-lib/pragmarcs/pragmarc-queue_bounded.ali
-lib/pragmarcs/pragmarc-queue_bounded_blocking.ali
-lib/pragmarcs/pragmarc-queue_bounded_unprotected.ali
-lib/pragmarcs/pragmarc-queue_unbounded.ali
-lib/pragmarcs/pragmarc-queue_unbounded_blocking.ali
-lib/pragmarcs/pragmarc-queue_unbounded_unprotected.ali
-lib/pragmarcs/pragmarc-quick_searcher.ali
-lib/pragmarcs/pragmarc-random_ranges.ali
-lib/pragmarcs/pragmarc-rational_numbers.ali
-lib/pragmarcs/pragmarc-real_random_ranges.ali
-lib/pragmarcs/pragmarc-real_random_values.ali
-lib/pragmarcs/pragmarc-reflection.ali
-lib/pragmarcs/pragmarc-regular_expression_matcher.ali
-lib/pragmarcs/pragmarc-rem_nn_wrapper.ali
-lib/pragmarcs/pragmarc-safe_pointers.ali
-lib/pragmarcs/pragmarc-safe_semaphore_handler.ali
-lib/pragmarcs/pragmarc-safe_suspension_objects.ali
-lib/pragmarcs/pragmarc-set_discrete.ali
-lib/pragmarcs/pragmarc-skip_list_unbounded-put.ali
-lib/pragmarcs/pragmarc-skip_list_unbounded.ali
-lib/pragmarcs/pragmarc-sort_heap.ali
-lib/pragmarcs/pragmarc-sort_insertion.ali
-lib/pragmarcs/pragmarc-sort_quick_in_place.ali
-lib/pragmarcs/pragmarc-sort_radix.ali
-lib/pragmarcs/pragmarc-stack_unbounded.ali
-lib/pragmarcs/pragmarc-stack_unbounded_unprotected.ali
-lib/pragmarcs/pragmarc-text_io.ali
-lib/pragmarcs/pragmarc-three_way.ali
-lib/pragmarcs/pragmarc-threefry_random.ali
-lib/pragmarcs/pragmarc-transporter_handler.ali
-lib/pragmarcs/pragmarc-unbounded_integers.ali
-lib/pragmarcs/pragmarc-universal_random.ali
-lib/pragmarcs/pragmarc-us_card.ali
-lib/pragmarcs/pragmarc-us_deck.ali
-lib/pragmarcs/pragmarc-word_input.ali
-lib/pragmarcs/pragmarc-wrapping.ali
-lib/pragmarcs/pragmarc.ali