Ada doesn't care what the name of the source file is. Some Ada implementations may record that information in the library as a courtesy to you, so you can write automatic recompilation tools, but it isn't required by the language. Even if the information is in the library, you shouldn't force the maintenance programmer to run a library utility to find it. Ada package specifications provide a top level view of what services the package provides without a hint at how it works. The comments should be consistent with this policy.
Comments describing the implementation of subprograms have no place in a package specification.
I like to let subprogram declarations serve as headings for a paragraph or two describing what the subprogram does. Sometimes I include samples of how the subprogram should be used. If it can raise an exception it is important to include comments telling that the subprogram may raise that exception, and under what circumstances that might happen. When a package declares user-defined exceptions, I always include comments below the exception declaration that tell what subprograms can raise the exception. I try not to repeat what conditions cause that exception to be raised because that information should be in the comments describing the subprogram.